DocumentDB is the open-source engine powering vCore-based Azure Cosmos DB for MongoDB. It offers a native implementation of document-oriented NoSQL database, enabling seamless CRUD operations on BS…

Distributed transactional key-value database, originally created to complement TiDB

A functional Python library

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

한국어 문법적으로 올바른 프로그래밍 언어 말씨

JIT compiler and runtime for a toy language, using Cranelift

mal - Make a Lisp

Language Server Protocol implementation written in Rust

The Monad Transformer Library

Mirror of the LuaJIT git repository

A Lua bytecode compiler written in Lua itself for didactic purposes or for new language implementations

Query serde_json Values with JSONPath

Koka language compiler and interpreter

Admiran compiler, library, and examples

HVM3

Inpla: Interaction nets as a programming language (the current version)

An implementation of `std :: hash :: Hasher` which does not hash at all.

Optimal evaluator of λ-calculus terms.

An optimal function evaluator written in JavaScript.

WebAssembly Micro Runtime (WAMR)

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Strongly typed JSON library for Rust

A hash table with consistent order and fast iteration; access items by key or sequence index

rust wrapper for rocksdb

PoloDB is an embedded document database.

A library that provides an embeddable, persistent key-value store for fast storage.

The open-source database for the realtime web.

fol unification algorithms

A statically typed Lisp like scripting programming language for Rust.