🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
Repository Index
47,133 repositories indexed
241–264 of 654 · Most stars
A Swift wrapper for the FFmpeg API
R frontend for Spark
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
An ERB-style templating language for Go.
- go
- template-language
- erb
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
Project Delphi-OpenCV. Translation of OpenCV library header files in Delphi
Simple LISP in Go
Compile Java byte-code to native CPU's.
- 6502
- assembly
- atari
- c64
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
- arm64
- c
- compression
- lz4
A simple and powerful multithreading library for Delphi
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c
Swift implementations for function currying
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
A simple wrapper around libpcap for the Go programming language
Build fast, composable, and type-safe grammars and parsers in Dart.
- parser
- parser-combinator
- parsing-expression-grammar
- parser-library
A modern supercompiler for call-by-value functional languages
[unmaintained] Scala wrapper for Apache TinkerPop 3 Graph DSL
- gremlin
- scala
- graph-database
- graph
A simple Swift wrapper for libgd
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
- clojure
- category-theory
- clojure-library
- monad
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
- dbc
- c
- misra
- automotive