A Lean formalization of the Stacks Project
Repository Index
61,121 visible repositories in the index
1,561–1,584 of 2,623 · Most stars
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Persistent sorted maps and sets with log-time rank queries
Static & dynamic D bindings to SDL and the SDL_* libraries, compatible with BetterC, @nogc, and nothrow. (Mirror)
- dlang
- bindbc
- sdl-mixer
- sdl-image
Curry All Code
A Ruby wrapper for Latent Dirichlet Allocation (LDA).
A fast, purely functional data structure library in Common Lisp.
Complete SQLite API translation and simple wrapper for Delphi and FreePascal
Delphi implementation of ZeroMQ Majordomo protocol and CZMQ high level binding
Write LÖVE 2D projects with TypeScript
- love2d
- typescript
- typescript-declaration
- lua
OCaml bindings to the SQLite3 database
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
- common-lisp
- reader
- extensible
- error-recovery
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A JavaScript based Gameboy Assembler
luaproc is a concurrent programming library for Lua
A collection of LPEG patterns
- lua
- lpeg
- uri
- uri-parser
:ram: Lisp that compiles to JavaScript in the Ramda way
- lisp
- ramda
- functional
- s-expression
Simple JMeter performance tests API for python
- automation
- java
- jmeter
- load-testing
Lowest barrier of entry to Image Processing, Computer Vision and Neural Networks on the JavaVM
- clojure
- computer-vision
- kotlin
- opencv
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
Compose promise-returning & async functions into a reusable pipeline
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch
- programming-language
- windows
- scripting-language
- compiler
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover