Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
481–504 of 864 · Most stars
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
:ram: Lisp that compiles to JavaScript in the Ramda way
- lisp
- ramda
- functional
- s-expression
Simple JMeter performance tests API for python
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
GTK4 bindings for Crystal
Dynamic library delivery tools for SBCL.
Python promises
- python
- promises
- promise
- promise-library
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Library for lexing and parsing D source code
Go asynchronous simple function utilities, for managing execution of closures and callbacks
- goroutine
- callback
- closure
- golang
A bridge between Python and Lisp (FFI bindings, etc.)
Qwen3.5-2B with a SIMT GPU inside its weights, 45 compiled layers in front of Qwen’s own, using its Gated DeltaNet layers as registers and memory.
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Lightweight Promises for Swift & Obj-C
- futures
- promises
- swift
- objective-c
Thread-agnostic Actors in Common Lisp
A light-weighted Promise library for Objective-C
Super Monadic Über Go-into : parser combinators for Common Lisp
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.
- go
- golang
- data-structures
- functional