The shimmytok project provides a pure Rust GGUF tokenizer compatible with llama.cpp and ready for WebAssembly.
FreeOpen source
24 alternativesComp Cert
vsLMQL
Comp Cert vs LMQL
How do Comp Cert and LMQL compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Comp Cert | LMQL |
|---|---|---|
| What it is | Compile C with CompCert, a formally verified compiler targeting ARM, PowerPC, RISC-V, and x86 processors. | LMQL provides a programming language for interactions with large language models. |
| Website | ||
| Type | Open-source project | App |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Not recorded | Web |
| Open source | Not stated | Not stated |
| Language | English | English |
| Alternatives |
Other options to consider
Sites similar to both Comp Cert and LMQL.
Polyglot provides multilingual text processing tools for natural language processing.
pgmpy provides Python tools for causal inference and probabilistic reasoning.
Open source
24 alternatives
Explore GitHub Awesome lists through AwesomeExplorer, a web app for finding repositories and resources.
Open source
24 alternatives
MixedModels.jl fits statistical mixed effects models using the Julia programming language.
Open source
24 alternatives
Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library.
Open source
24 alternatives