Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
Repository Index
57,138 visible repositories in the index
1,009–1,032 of 1,238 · 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
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
TryLock support on read-write lock for Golang
- trylock
- locker
- mutex
WebGPU for D
- webgpu
- wgpu
- 3d-graphics
- rendering
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
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
An Elixir macro for easily piping arguments at any position.
- elixir
- macros
- pipe
Basic Configuration Language
- configuration
- parsing
- virtual-machine
- ci-cd
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Dynamic Binding for libui (https://github.com/andlabs/libui) in D
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
Generate images from Graphviz dot strings in Clojure and Clojurescript
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation