Electra is an esolang where you code like an electrician.
Repository Index
59,132 visible repositories in the index
25–36 of 36 · Most stars
The repository host gives no description.
Clojure library for Blueprints (part of the Tinkerpop graph stack).
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
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
A Mustache template compiler.
- mustache
- translator
- compiler
Crystal shard aiming to assist with parsing backtraces into a structured form.
- crystal
- stacktrace
- parser
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
RASEL (Random Access Stack Esoteric Language) reference implementation
- programming-language
- esoteric-language
- esolang
- stack-based-language
Ada wrapper for the fast Stachniss' Hungarian solver