llm-powered theorem proving for isabelle/hol

🗑️ a paste bin.

wastebin is a pastebin 📝

universal pastebin server

Command line pastebin for sharing terminal output.

This implements a 64-bit version of vusec/vuzzer fuzzing tool.

Driller: augmenting AFL with symbolic execution!

An OCaml mutation tester

Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml

The Ott tool for writing definitions of programming languages and calculi

Aproximate emulator for a subset of Felix-C-256 computer jobs with Assiris assembler

The main codex repository

🧮 Programming with pure lambda calculus

A small C compiler

Implementation of the lambda-lambda-bar calculus from "The Duality of Abstraction" https://vikraman.org/files/popl24-coexp.pdf

An implementation of the λλ~ calculus

Public repository of the Micro QuickJS Javascript Engine

A Python implementation of Tensor Logic - a unified programming language for AI that combines neural and symbolic reasoning through tensor equations.

atomic package manager for macos

A functional query language, implemented in Rust

A dependently-typed language with unboxed data

ZeroFS - The Filesystem That Makes S3 your Primary Storage. ZeroFS is 9P/NFS/NBD on top of S3. Initially built for www.merklemap.com

A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Your favourite Haskell type classes for Rust

A Tiny Linux-Compatible Kernel

Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction