Quick C-- compiler (no longer maintained)
☆163Jan 24, 2014Updated 12 years ago
Alternatives and similar repositories for qc--
Users that are interested in qc-- are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Mar 12, 2016Updated 10 years ago
- Compiler and tooling for the Myte programming language.☆29Mar 6, 2023Updated 3 years ago
- OCaml bindings for Clang☆20Jan 26, 2026Updated 9 months ago
- Standard ML Compiler and Toolkit☆309Updated this week
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆93Dec 10, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 13 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Jul 10, 2015Updated 11 years ago
- ☆142Aug 18, 2021Updated 5 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 9 years ago
- The MLton repository☆1,099Oct 3, 2026Updated last month
- MOVED to code.netzhansa.com/hanshuebner/secd. This GitHub mirror is archived.☆36Nov 13, 2019Updated 6 years ago
- ☆40May 1, 2016Updated 10 years ago
- A practical LLVM backend for OCaml (will never be finished)☆35Apr 20, 2014Updated 12 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.
- Interpreter written for Prolog course.☆10Feb 18, 2020Updated 6 years ago
- Library for Implementing C# Commands☆11May 28, 2025Updated last year
- The Felix Programming Language☆818Sep 23, 2024Updated 2 years ago
- haskell memory☆49Aug 14, 2023Updated 3 years ago
- Web site for standardml.org.☆38Oct 17, 2023Updated 3 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆222Nov 25, 2022Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 12 years ago
- Index your filesystem to find duplicates☆13Mar 28, 2019Updated 7 years ago
- Dan Bernstein's qhasm package☆12Oct 10, 2015Updated 11 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.
- Nanopass for OCaml☆147Dec 21, 2017Updated 8 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 5 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 11 years ago
- Minecraft Beta 1.7.3 compatible world generator. ARCHIVED: This code has been moved to a monorepo, please see https://github.com/coderbot…☆11Nov 24, 2018Updated 7 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆11Feb 13, 2025Updated last year
- My Own Linear Lisp☆41Aug 24, 2018Updated 8 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆401Updated this week
- A secure web framework, built in the Idris language.☆109Feb 3, 2014Updated 12 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.
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆369May 1, 2021Updated 5 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆164Aug 28, 2019Updated 7 years ago
- Trace visualisation tool for Eio programs☆17Sep 5, 2025Updated last year
- The Definition of Standard ML (1990)☆126Oct 27, 2014Updated 12 years ago
- ☆16Apr 19, 2022Updated 4 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated 2 years ago