The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
47,133 repositories indexed
601–624 of 863 · Most stars
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
brain-dead simple parallel processing for ruby
Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.
Improved Go Syntax (transpiler)
Reduce a list of values using promises into a promise for a value
A setf like macro for functional programming
Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv
A crystal port of the Ruby Language Toolkit
Library providing fast hash based immutable map and set
pico sized functional library
UNIS: A Common Architecture for String Utilities within the Go Programming Language.
Load Common Lisp code blocks from Org files
A Javascript to PICO-8 Lua transpiler
Functional programming in Groovy
Raylib binds to elixir for programming games
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
A codemod-cli project for converting Ember objects to es6 native classes
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase
MySQL Backed Locking Primitive
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
An elixir module for parallel execution of functions/processes
Common Lisp bindings and interface to the Allegro 5 game programming library