A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Repository Index
47,133 repositories indexed
169–192 of 196 · Most stars
A Mustache template compiler.
- mustache
- translator
- compiler
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
Parse, manipulate and render CommonMark in Scala Native
- commonmark
- scala
- scala-native
Apache Kafka Ada client library, based off of librdkafka
Evaluate user input expressions
- elixir
- elixir-library
- expression
- expression-evaluator
Elixir coordinate conversion library using OSGeo's PROJ.4
- geospatial
- distance-calculation
- coordinate-systems
- osgeo-proj
Abstractions and utilities to get rid of boilerplate code in business logic
- datastructures
- generic
- go
- golang
Delphi header translation for Microsoft XmlLite
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp
Chameleon template compiler for pyramid
Tailwind classes for Djula templates
- common-lisp
- djula
- lisp
- tailwindcss
Crystal C bindings for the PortMIDI cross-platform MIDI I/O library
Infix notation to S-expression (Polish notation) translator for Common Lisp
- common-lisp
- infix-notation
Cancellation propagation library for Common Lisp with deadlines and timeouts
Single-header C++ JIT compiler/evaluator for mathematical expressions
- expression-evaluator
- expression-parser
- formula-engine
- formula-evaluator
A fast, JSoup-inspired HTML5 parser and DOM manipulation library for [V](https://vlang.io), powered by [Lexbor](https://lexbor.com)
A template designer for Djula
The Java API for Onyx
A simple web application boilerplate using Common Lisp
- lisp
- common-lisp
A Latin-themed esoteric programming language where source code reads as prayer
- brainfuck
- c
- esolang
- esoteric-language
J2Ada translates a Java valid source code in Ada source code.