Crystal binding for LevelDB
- crystal
- leveldb
Repository Index
77,852 visible repositories in the index
769–792 of 950 · Most stars
Simple implementation of the hungry-consumer model in Elixir
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
- docker-image
- dockerfile
- opam
- coq
Common Interface to ISO Prolog implementations from Common Lisp
A Scala Native wrapper of the SQLite C library
Simple currying for FuncN and ActionN on RxJava [STABLE]
Bindings to libgraphqlparser for R
Clojure library for Blueprints (part of the Tinkerpop graph stack).
Compile Sass/SCSS to CSS in Crystal (libsass binding)
A modern, template-based, open source data transformation language
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
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Pure python parser for Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
List manipulation library inspired by Haskell package Data.List
A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
- functional-programming
- javascript
- js
- monad
Tensorflow wrapper for D
- tensorflow
- tfd
- dlang
- d
Simple ActionN composition to use with RxJava [STABLE]
immutable primitive array/NonEmptyArray wrapper for Scala
- data-structures
- scala
- primitive-arrays
- scala-js
A query library for retrieving part of JSON based on JSONPath syntax.
- jsonpath
- json
- peg
- golang
Generate Clojure syntax from vectors
- clojure
A compiler for an Ada-like language
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi