Simple Web-MIDI Message Parser
Repository Index
47,133 repositories indexed
1,753–1,776 of 2,233 · Most stars
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
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
Ruby wrapper for the famous spell checker library hunspell.
- ruby
- hunspell
- rubygem
- hunspell-spell-checker
TryLock support on read-write lock for Golang
- trylock
- locker
- mutex
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
WebGPU for D
List manipulation library inspired by Haskell package Data.List
IO for Gallina
- coq
- ocaml
- extraction
A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
- functional-programming
- javascript
- js
- monad
Make functions return a channel for parallel processing via go routines.
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
Tensorflow wrapper for D
- tensorflow
- tfd
- dlang
- d
Common tools for projects
- cross-platform
- pascal-language
- library
- json