Explore GitHub Awesome lists through AwesomeExplorer, a web app for finding repositories and resources.
Open source
24 alternativesComp Cert
vsfrog
Comp Cert vs frog
How do Comp Cert and frog compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Comp Cert | frog |
|---|---|---|
| What it is | Compile C with CompCert, a formally verified compiler targeting ARM, PowerPC, RISC-V, and x86 processors. | Frog combines memory based NLP modules for Dutch, including tagging, lemmatization, morphology analysis, and dependency parsing. |
| Website | ||
| Type | Open-source project | Open-source project |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Not recorded | Linux, macOS |
| Open source | Not stated | Yes |
| Language | English | English |
| Alternatives |
Other options to consider
Sites similar to both Comp Cert and frog.
The Twitter Text Java library tokenizes and parses text according to platform text requirements.
Open source
24 alternatives
JEnv for Windows switches the active Java version with a short command.
Open source
24 alternatives
Decompile Java bytecode to Java source with Fernflower, used in IntelliJ IDEA.
Open source
24 alternatives
The shimmytok project provides a pure Rust GGUF tokenizer compatible with llama.cpp and ready for WebAssembly.
FreeOpen source
24 alternatives
The go-geom package provides geometry types for geospatial applications written in Go.
Open source
24 alternatives