Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Repository Index
47,133 repositories indexed
1,033–1,056 of 2,325 · Most stars
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.
The GPars concurrency and parallelism framework for the JVM
An experiment in adding functional pattern matching to JavaScript
Strip console, alert, and debugger statements from JavaScript code
- gulp-plugin
- nodejs
- javascript
- strip
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
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)
Directly include C headers in D source code
- translation
- cpp17
- cpp
- clang
High performance System.Threading.(Value)Task computation expressions for F#
Bindings to connect lua with Steam API
- game-development
- love2d
- lua
- steam-api
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
The repository host gives no description.
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
A Parser Combinators Library for Clojure
Parser combinators for Idris
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
- regular-expression
- regexp
- regex
- code-generation
CloudSlang Language, CLI and Builder
Coroutine support for clojure
- clojure
- clojurescript
Debounce promise-returning & async functions
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
A collection of sweet.js macros that implement ES6 features for ES5
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq