Elm style FRP library for PureScript
Repository Index
61,275 visible repositories in the index
1,273–1,296 of 2,625 · Most stars
High performance Transactional Memory for Common Lisp
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Clojure wrapper around JGit
Mypy static type checker plugin for Pytest
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Ruby speech recognition with Pocketsphinx
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
Railo is an Open Source CFML Server
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Pattern matchings for Go.
- golang
- go
- pattern-matching
- golang-library
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
The GPars concurrency and parallelism framework for the JVM
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
An experiment in adding functional pattern matching to JavaScript
Strip console, alert, and debugger statements from JavaScript code
- gulp-plugin
- nodejs
- javascript
- strip
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
The repository host gives no description.
Directly include C headers in D source code
- translation
- cpp17
- cpp
- clang
High performance System.Threading.(Value)Task computation expressions for F#