A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Repository Index
71,372 visible repositories in the index
817–840 of 920 · Most stars
🚧 Flexible mechanism to make execution flow interruptible.
- hacktoberfest
ImageMagick bindings (fork)
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
Go option and result types that optionally contain a value
- golang
- option
- result
- error
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)
Lazy iterator implementation for Golang
- golang
- iterator
- golang-package
- golang-module
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
Clojure-compatible threading/transformation/arrow macros for Common Lisp
Minimal cgo bindings for libenca
Seamless Interface to Octave -- and Matlab code
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
a parser for Forsyth-Edwards Notation (for encoding chess positions)
Ada binding for the Pebble Time smartwatch
Haskell bindings to Colin Percival's scrypt implementation.
A library that enables the usage of MaxmindDB geoIP databases by using the Rust library in a WASM module
Composable Concurrency Abstractions for JavaScript. :railway_track: :rhinoceros: :train: :vertical_traffic_light:
- concurrency
- async-await
- reactive-programming
- streams
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.
Micropython binding for the ESP32 DL AI vision models like face detection / recognition, imagenet classifier or pedestrian (human) detection
- esp32
- face-detection
- imagenet-classifier
- micropython
Gulp plugin to transform ES6 to ES5.
- jstransform
- javascript
- gulp
- es6
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Parse, manipulate and render CommonMark in Scala Native
- commonmark
- scala
- scala-native