A Library for Representing Recursive and Impure Programs in Coq
Repository Index
47,133 repositories indexed
73–96 of 147 · Most stars
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
An experiment in adding functional pattern matching to JavaScript
A formalization of geometry in Coq based on Tarski's axiom system
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
An esoteric programming language built to break LLMs and coding agents.
More up-to-date version of cl-charms. Forked it because it was, apparently, abandoned by author and I couldn't contact him.
A Go port of the Java Streams API. Type-safe and functional Go Streams processing
- golang
- go
- stream-processing
- generics
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
A programming language for generating code for multiple platforms
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
👾 A Forth-based Game Boy development kit
Functional Experiment in Golang
- functional-programming
- go
- golang
- functional
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
:ram: Lisp that compiles to JavaScript in the Ramda way
- lisp
- ramda
- functional
- s-expression
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
IGraph/M is the igraph interface for Mathematica
- igraph
- mathematica
- mathematics
- network-graph
TypeScript Iteration Tools Library
- fluentinterface
- generator
- infinite-iteration
- iterable
TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for TensorFlow. It aims to implement the complete Tensorflow API in Delphi which allows Pascal developers to develop, train and deploy Machine Learning models with the Pascal Delphi
- deep-learning
- delphi
- machine-learning
- pascal
Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.