Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
Repository Index
85,578 visible repositories in the index
793–816 of 926 · 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
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Simple Web-MIDI Message Parser
GCode interpreter and simulator for node.js
IO for Gallina
- coq
- ocaml
- extraction
Make functions return a channel for parallel processing via go routines.
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
Simple ActionN composition to use with RxJava [STABLE]
A query library for retrieving part of JSON based on JSONPath syntax.
- jsonpath
- json
- peg
- golang
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Simple partial application for FuncN and ActionN on RxJava [STABLE]
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]
An interpreter for C flat, a music-based programming language
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.
Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.
Implementation of sum/option types using QVariant
Go utility library for convenient looping using Go's range-over-func feature
- golang
Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.
- parallel-processing
- elixir-library
Elixir macro for extracting or transforming values inside a pipe flow.
- elixir
- pipe
- error-handling
Extremely simple Process pooling and task submission in Elixir