Clojure-style concurrency operations in Common Lisp
Repository Index
47,133 repositories indexed
1,705–1,728 of 2,293 · Most stars
Utility library for Clojure and ClojureScript
- clojure
- clojurescript
- lisp
- utility
A portable reader and bridge for interacting with Objective-C and Cocoa
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
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 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
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
Library for selective receive OTP processes
A ClojureScript wrapper for RxJS