Cocoa binding for Common Lisp on macOS
Repository Index
47,133 repositories indexed
889–912 of 1,215 · Most stars
:shrimp: Rust cryptography library
- rust
- cryptography
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Simple Email Parser
Parallelism for Common Lisp
Utility library for Clojure and ClojureScript
- clojure
- clojurescript
- lisp
- utility
A portable reader and bridge for interacting with Objective-C and Cocoa
Fully typesafe, Rust-like Result and Option types for Python
- python3
- rust
- result-type
- rust-option
GraphQL parser for Python
Common Lisp bindings to the GNU Readline library
- common-lisp
- gnu-readline
- readline
- bindings
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
D binding to the Allegro5 game development library
D bindings for nuklear
A Starcraft 2 replay parser written in pure Ruby
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library
- crystal
- chipmunk
- physics-engine
- bindings
OpenGL and SDL2 bindings for Scala Native
- scala-native
- scala
- scala-library
- opengl
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Type aware promises for crystal lang
Compile-Time Parser Generator in D programming language.
Library for selective receive OTP processes
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution