UNIS: A Common Architecture for String Utilities within the Go Programming Language.
- golang
- string
- utility-wrapper
Repository Index
47,133 repositories indexed
505–528 of 698 · Most stars
Load Common Lisp code blocks from Org files
- literate
- programming
- lisp
- org
Functional programming in Groovy
Raylib binds to elixir for programming games
- raylib
- elixir
- bindings
- audio
A wrapper module for using spaCy natural language processing library from the Ruby programming language via PyCall
A codemod-cli project for converting Ember objects to es6 native classes
- codemod
- ember
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase
Golang source code parsing, usage like reflect package
- refactor
- metaprogramming
- go
- ast
An elixir module for parallel execution of functions/processes
Common Lisp bindings and interface to the Allegro 5 game programming library
- common-lisp
- game-development
- allegro5
- bindings
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Functional programming framework for Go.
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
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code