Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
Repository Index
47,133 repositories indexed
145–168 of 194 · Most stars
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Compile-Time Parser Generator in D programming language.
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
A command line tool and library for generating FFI wrappers for Common Lisp
- ffi
- common-lisp
- cffi
- clang
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Use JavaScript to generate JavaScript
- preprocessor
- build-tool
- babel
- webpack
Pure python parser for Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
Generate Clojure syntax from vectors
- clojure
Generate images from Graphviz dot strings in Clojure and Clojurescript
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Generates Blazor -> Javascript strongly typed interop methods.
utils for Go context
- golang
- go
- context
- async
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package
Pure functions for slices.
- golang
- go
- generics
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli