a steady descent into madness
☆17Oct 15, 2026Updated 2 weeks ago
Alternatives and similar repositories for experiments
Users that are interested in experiments are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This extension provides syntax support for Epic Games' Verse programming language☆21Nov 19, 2025Updated 11 months ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 3 years ago
- VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epi…☆12Mar 21, 2023Updated 3 years ago
- experimental computational medium and supporting tools☆24Oct 23, 2026Updated last week
- A Haskell library for manipulating Java class files☆16Mar 16, 2014Updated 12 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing☆28Jan 21, 2025Updated last year
- flexible 'let rec' generation for MetaOCaml☆29Jan 25, 2026Updated 9 months ago
- Finding Game of Life states that lead to pictures.☆18May 2, 2024Updated 2 years ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 12, 2026Updated 6 months ago
- A Toy Inverse Bidirectional Typechecker☆33May 13, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 7 months ago
- DBToaster OCAML code☆11Jan 19, 2022Updated 4 years ago
- phantom types☆41Sep 28, 2026Updated last month
- manages multiple throttlers with ability to ramp up and down☆31Mar 12, 2023Updated 3 years ago
- haskell-indentation 2nd try☆33Dec 17, 2014Updated 11 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 10 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- Tools for standing up and managing a CommCare HQ server environment☆36Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Odin bindings for mimalloc (https://github.com/microsoft/mimalloc). mimalloc is a compact general purpose allocator with excellent perfor…☆11May 29, 2023Updated 3 years ago
- lmdb bindings for odin☆10Feb 5, 2024Updated 2 years ago
- ☆18Updated this week
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 5 years ago
- Probabilistic miniKanren☆70Oct 20, 2015Updated 11 years ago
- Odin bindings to the Llama.cpp☆11Sep 16, 2024Updated 2 years ago
- Wrapper for physx☆10Jul 22, 2022Updated 4 years ago
- Unreal Engine Plugin: Provide procedural methods to manage objects, assets and worlds.☆14Oct 21, 2025Updated last year
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- String searching with errors, using the Wu-Manber algorithm☆24Jan 17, 2025Updated last year
- The HTML5 multimedia player☆19Apr 25, 2012Updated 14 years ago
- A collection of code snippets for Unreal Engine projects☆14Jul 10, 2025Updated last year
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- Demonstrates using the Composition API in a UWP control.☆12Jan 6, 2016Updated 10 years ago
- A collection of libraries maintained by LAMP.☆15Sep 6, 2026Updated last month
- An UWP app that illustrates some of the Composition API effects.☆10May 15, 2016Updated 10 years ago