A ClojureScript wrapper for RxJS
Repository Index
47,133 repositories indexed
49–66 of 66 · Most stars
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Common Interface to ISO Prolog implementations from Common Lisp
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Generate images from Graphviz dot strings in Clojure and Clojurescript
A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.
A natural language parser for validating complex date ranges
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
🇪🇺 Resources and Learning Games for European Romance Language Communication
- language
- romance-languages
- language-learning
a functional library for coffeescript (and javascript)
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
- esopo
- esolang
- esoteric-language
- esoteric-programming-language
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
Augments Hunchentoot error pages and logs with request and session information.
- web
- hunchentoot
- lisp
- common-lisp
Ni is a small esoteric programming language turing complete, cell based, like brainfuck.
- esoteric-programming-language
- esoteric-language
- esoteric-interpreter
- esoteric-languages
Docker images of coq-mathcomp [maintainer=?]