A portable reader and bridge for interacting with Objective-C and Cocoa
Repository Index
47,133 repositories indexed
1,801–1,824 of 2,324 · Most stars
A very tiny and fast compose function.
The universal ISSR server compatible with <your-favorite-programming-language>
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
Fully typesafe, Rust-like Result and Option types for Python
- python3
- rust
- result-type
- rust-option
Implementation of Finger Tree in JavaScript.
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
GraphQL parser for Python
Common Lisp bindings to the GNU Readline library
- common-lisp
- gnu-readline
- readline
- bindings
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
Hand-written bindings to Raylib for Common Lisp.
- common-lisp
- raylib
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
Just A Rust Wasm Blog
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Compile-Time Parser Generator in D programming language.
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
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
Library for selective receive OTP processes