The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
84,085 visible repositories in the index
601–624 of 778 · Most stars
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Fast SIP and SDP Parser
Wrapper for feeder. Elixir RSS parser
A multiplexor for aligned time.Time tickers in Go
Structured Concurrency in Go
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
A PEG parser/transformer with a pleasant Elixir DSL.
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase
A total recursion scheme library for Dhall
A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)
generates luajit ffi bindings from c headers
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
Golang source code parsing, usage like reflect package
a tool for handling file uploads simple
Recursion schemes for Idris
Generate Elm types, encoders, and decoders from Haskell types
Parser for ABNF Grammars
Messaging system for communication between classes / layers in delphi
Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it
Parser generator toolset for Delphi (Yacc & Lex)
Parse placeholder and wildcard text commands
Node module that is bridged with the Java Hapi HL7 library.
Generalized folds, unfolds, and traversals for fixed point data structures