Cairo is the first Turing-complete language for creating provable programs for general computation.
- starknet
- zero-knowledge-proofs
- zkp
- computational-integrity
Repository Index
79,350 visible repositories in the index
313–336 of 976 · Most stars
A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility
An open source flash player implementation
A description of Jonathan Blow's programming language, Jai
C++11/14/17 std::expected with functional-style extensions
DeepStream SDK Python bindings and sample applications
Efficient, Immutable, Thread-Safe Collection classes for Ruby
lamdu - towards the next generation IDE
- integrated-development-environment
- programming-language
- programmer-tool
- projectional-editor
A Reactive Programming library for JavaScript
- frp
- reactive
- stream
- functional-programming
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
- jax
- python-typing
- typing
A really simple way to move a function or class to a web worker. 🏋️♀️→ 😄
- webworker
- javascript
- developer-tools
- thread
Dynamic Code Evolution VM for Java 7/8
Official documentation website for the ReScript programming language
Lightweight library for web server applications in Swift on macOS and Linux powered by coroutines.
- swift
- coroutines
- synchronous-apis
- server-side-swift
[NO LONGER MAINTAINED] A JS utility for for parsing URLs and extracting information out of them.
MetaCall: The ultimate polyglot programming experience.
- metacall
- function-mesh
- programming-language
- inter-language
A Parser for CSS Files written in PHP. Allows extraction of CSS files into a data structure, manipulation of said structure and output as (optimized) CSS
PyPy is a very fast and compliant implementation of the Python language.
GS Collections has been migrated to the Eclipse Foundation, re-branded as Eclipse Collections. https://www.eclipse.org/collections/
CLI and Rust libraries for low-level manipulation of WebAssembly modules
Parse strings using a specification based on the Python format() syntax.
Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compiled Go functions on those trees. Makes Go reflection easy.
MacRuby is an implementation of Ruby 1.9 directly on top of Mac OS X core technologies such as the Objective-C runtime and garbage collector, the LLVM compiler infrastructure and the Foundation and ICU frameworks.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety