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
Repository Index
47,133 repositories indexed
913–936 of 1,152 · Most stars
Use JavaScript to generate JavaScript
- preprocessor
- build-tool
- babel
- webpack
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
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
GCode interpreter and simulator for node.js
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
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
Elixir library to do pipeable transformations on html strings (with CSS selectors)
- elixir
- html-parser
- html-renderer
- css-selector
The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.
- clr
- vba
- visual-basic
- netframework
An Elixir macro for easily piping arguments at any position.
- elixir
- macros
- pipe
Basic Configuration Language
- configuration
- parsing
- virtual-machine
- ci-cd
Matplotlib for Elixir
- elixir
- elixir-lang
- matplotlib
- python
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Python bindings for hashcat
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
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Generate images from Graphviz dot strings in Clojure and Clojurescript