A portable reader and bridge for interacting with Objective-C and Cocoa
Repository Index
47,133 repositories indexed
1,465–1,488 of 1,990 · Most stars
A very tiny and fast compose function.
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
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
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
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
Compile-Time Parser Generator in D programming language.
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
the alchemist's happy path with elixir
- elixir
- error-handling
- with
- monad
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
Wrapper around mbedtls
Load Javascript and CSS asynchronously in yew
- codesplitting
- interop
- wasm
- rust
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia