Functional programming in TypeScript
- typescript
- functional-programming
- algebraic-data-types
Repository Index
47,133 repositories indexed
1–24 of 68 · Most stars
Qt binding for Go (Golang) with support for Windows / macOS / Linux / FreeBSD / Android / iOS / Sailfish OS / Raspberry Pi / AsteroidOS / Ubuntu Touch / JavaScript / WebAssembly
- go
- gui-framework
- qt
- cross-platform-gui
Python SQL Parser and Transpiler
- transpiler
- sql
- python
- parser
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
- parser
- earley-algorithm
- earley-parser
- javascript
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖
🦋 Fantasy Land compliant (monadic) alternative to Promises
- fantasy-land
- promise
- future
- monad
Functional Programming Library for C++. Write concise and readable C++ code.
- range
- composition
- stl
- functional-programming
bcrypt-ruby is a Ruby binding for the OpenBSD bcrypt() password hashing algorithm, allowing you to easily store a secure hash of your users' passwords.
Next generation API for .NET
- reflection
- raft
- raft-consensus
- raft-consensus-algorithm
ILGPU JIT Compiler for high-performance .Net GPU programs
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
- typescript
- algebraic-data-types
- maybe
- monad
A collection of well known Algebraic Data Types for your utter enjoyment.
- adt
- predicate-functions
- lift
- unary-functions
Python interface for igraph
- complex-networks
- graph-algorithms
- graph-theory
- mathematics
Functional programming style pattern-matching library for C++
- pattern-matching
- pattern
- variant
- visitor
Monads and other dark magic for Elixir
- elixir
- type-class
- functor
- monad
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
Generalized recursion schemes and traversals for Scala.
- recursion-schemes
- algebra
- traversal
- recursive-structures
🤠 Object property paths with wildcards and regexps 🌵
- nodejs
- javascript
- map
- json
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
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
🥃 Functional Algebraic Data Types
- functional-programming
- monads
- monoids
- utilities
Macros for defining monads, and definition of the most common monads