Learning Haskell for the first time and using it to write a simple C compiler
☆26Mar 18, 2018Updated 8 years ago
Alternatives and similar repositories for haskell-c-compiler
Users that are interested in haskell-c-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 6 years ago
- Code for Book "AI for Cybersecurity: A Handbook of Use Case"☆24Aug 10, 2023Updated 3 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 11 years ago
- Projects to get started with Clash☆33Sep 2, 2026Updated 2 months ago
- A Haskell implementation of Foreman☆24Sep 13, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 7 years ago
- Idris libraries for hybrid classical-quantum programming☆15Feb 5, 2023Updated 3 years ago
- QISKit implementation of surface codes☆15Jul 14, 2020Updated 6 years ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Oct 29, 2019Updated 7 years ago
- WebAssembly module signing & signature verification☆14Sep 29, 2022Updated 4 years ago
- A lambda calculus parser, evaluator and repl☆12Oct 30, 2021Updated 5 years ago
- MDR, the markdown runner☆10Mar 23, 2024Updated 2 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Oct 15, 2026Updated 3 weeks ago
- a ridiculously fun neovim plugin for the workman keyboard layout☆41Dec 22, 2025Updated 10 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml☆10Apr 3, 2022Updated 4 years ago
- QREM - Quantum Readout Errors Mitigation, an open-source package for implementing techniques of measurement error mitigation on quantum d…☆20Jan 12, 2022Updated 4 years ago
- Kaleidoscope Tutorial using llvm-hs☆85May 20, 2021Updated 5 years ago
- ISO EBNF notation parser☆14Dec 18, 2017Updated 8 years ago
- 🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell☆13Mar 4, 2025Updated last year
- A Haskell library for loading configuation data from environment variables.☆17Nov 4, 2022Updated 4 years ago
- Simple C Haskell Compiler☆22Feb 5, 2026Updated 9 months ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- The Egison tutorial☆15Dec 18, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Nov 1, 2017Updated 9 years ago
- CLI tool for creating and verifying problem packages for sio2☆12Updated this week
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- A sort-of continuation of the TinyScheme project by Dimitrios Souflis☆13Mar 8, 2016Updated 10 years ago
- PureC bindings to libuv☆11Nov 16, 2018Updated 7 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated last year
- An Unlambda Interpreter and REPL☆11Sep 27, 2018Updated 8 years ago
- Solving LeetCode problems in Dyalog APL☆12Jun 13, 2022Updated 4 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 11 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.
- Python wrapper for the unofficial scraped API of the satori testing system.☆15Mar 6, 2022Updated 4 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆12May 6, 2018Updated 8 years ago
- Deductive synthesis and compilation of specialized databases.☆13Jul 18, 2023Updated 3 years ago
- Commonly useful extensions for the MMark markdown processor☆12Sep 29, 2026Updated last month
- A collection of utilities for working with Riichi Mahjong player hands to use with Rust programming language☆12Updated this week
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 11 years ago
- haskell functions for 3d math including quaternions, euler angles, dcms, etc☆11Jan 2, 2023Updated 3 years ago