Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.
☆10Jul 2, 2026Updated 3 months ago
Alternatives and similar repositories for maniposynth
Users that are interested in maniposynth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- visualize an AST serialized as YAML☆13Mar 13, 2023Updated 3 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆84Oct 16, 2023Updated 3 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆28Aug 29, 2020Updated 6 years ago
- Scripts and Javascript Glue code to use Z3 in the browser using WASM☆13Jan 10, 2022Updated 4 years ago
- Version Control for Sketching in Code☆24Apr 26, 2023Updated 3 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.
- Fork of Vitaly Chashin's SimpleUnityBrowser - Modifying to add support for Widevine☆11Apr 14, 2026Updated 6 months ago
- A projectional editor for JSON DSLs☆29Mar 30, 2024Updated 2 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 10 months ago
- Goxel: Free and Open Source 3D Voxel Editor☆15Oct 17, 2026Updated last week
- ☆10Sep 24, 2021Updated 5 years ago
- A collection of SML utility modules that are useful for compiler writing.☆11Oct 18, 2026Updated last week
- Direct3D9, Direct3D10, and Direct3D11 samples from the June 2010 SDK updated to build with the latest version of Windows and Visual Studi…☆15Sep 27, 2018Updated 8 years ago
- Quic.NET is a .NET binding library of MsQuic from .NET runtime back-ported to .NET 6.☆16Jan 19, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Polylab polylog pollywog☆24Sep 24, 2026Updated last month
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- System for verifying the correctness of generated Copilot programs☆20May 8, 2025Updated last year
- ☆19Feb 10, 2026Updated 8 months ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Insight Mechanism Reproduction Program - Ramanujan pipeline, structure-induction windows, insight signatures. A Mushroom-Body Program tra…☆27Updated this week
- ☆17Jul 23, 2022Updated 4 years ago
- Visualization synthesis☆15May 12, 2021Updated 5 years ago
- WebTransport over HTTP/3☆26Nov 15, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Implementation of Flex's transpiler using the NLU model trained using Rasa NLU☆26Dec 8, 2022Updated 3 years ago
- accessible data visualizations with Vega Lite☆17Updated this week
- Formal verification of Rust code with AI-assisted specification and proof.☆22Updated this week
- A Pythonic functional programming language with provenance-tracking☆60Updated this week
- ☆27Updated this week
- Cassowary constraint solver and WPF panel allowing for constraint-based layout☆22Jun 5, 2015Updated 11 years ago
- My repl utility things☆13Jul 14, 2019Updated 7 years ago
- This is a small mirror of s7 scheme, the official distribution is here:☆18Sep 30, 2020Updated 6 years ago
- "Esoteric" "Programming" "Language" compiler for converting SQL to CSS☆61Jun 25, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆23Jul 13, 2023Updated 3 years ago
- Did someone say types?☆13Sep 5, 2016Updated 10 years ago
- Simple shape editor component with React and SVG☆10Jul 2, 2019Updated 7 years ago
- A new LLVM backend for the Bigloo Scheme system☆13Dec 12, 2021Updated 4 years ago
- OpenTopos — unified, code-driven 3D object generation: static + articulated + texture (incl. UV atlas), multi-agent + Blender☆14Jun 21, 2026Updated 4 months ago
- Tool for detecting bad style in Standard ML programs☆17Mar 10, 2019Updated 7 years ago
- 🎩 Define page content and behavior in CSS. (???)☆16Sep 6, 2020Updated 6 years ago