Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Repository Index
47,133 repositories indexed
625–648 of 863 · Most stars
The repository host gives no description.
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Functional programming framework for Go.
A Bitcoin Script Interpreter and Debugger in Scala
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
A Coreader-like Dependency Injection μFramework
- dependency-injection
- coreader
- functional-programming
- ios
BEAM friendly spinlocks for Elixir/Erlang
- concurrency
- concurrent-data-structure
- parallel-programming
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
- cryptography
- nettle
- encryption
- hash-algorithms
Builds of the GNAT Ada compiler from FSF GCC releases
Lightweight promises for iOS, macOS, tvOS, watchOS, and Linux
The repository host gives no description.
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
ABNF in, parser out
- abnf
- parsing
- parser-generator
- elixir
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code
Vulkan bindings for Common Lisp.
- common-lisp
- vulkan
- graphics-programming
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
- scala
- dfa
- regular-expression
- regular-expression-engine
Wait for any promise to be fulfilled
Natural language generation language
- natural-language-generation
- nlg
Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
Generate Yew components from React components via Typescript type definitions
- yew
- proc-macro
- react
- typescript
Fast YAML native library for Erlang / Elixir
- libyaml
- yaml
- libyaml-library
- erlang