Learning Haskell for the first time and using it to write a simple C compiler
☆27Mar 18, 2018Updated 7 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
Sorting:
- Small C Compiler written in Haskell☆15Mar 12, 2018Updated 7 years ago
- A Haskell implementation of a C compiler☆12Jun 19, 2021Updated 4 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 6 years ago
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…☆46Oct 1, 2020Updated 5 years ago
- Emeris web app☆11Jul 10, 2024Updated last year
- Automatically exported from code.google.com/p/andrews-deal☆10Sep 16, 2022Updated 3 years ago
- A universal soundness calculator across hash-based zkEVMs and security regimes☆44Feb 27, 2026Updated last week
- Library for distance measurements☆12Mar 1, 2023Updated 3 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- A repository to review the main concepts about Functional Programming with Java☆10Updated this week
- Code from Chris Valasek @nudehaberdasher and Charlie Miller @0xcharlie car hack: http://blog.ioactive.com/2013/08/car-hacking-content.ht…☆14Oct 1, 2020Updated 5 years ago
- a qr code tool for racket-lang☆11Jun 15, 2024Updated last year
- Reactive streams in Go☆12Aug 15, 2022Updated 3 years ago
- A computer built as a cellular automation pattern☆14May 13, 2023Updated 2 years ago
- ☆11Updated this week
- Lecture: Data Compression in Computational Science and Quantum Computing (計算科学・量子計算における情報圧縮)☆13Jan 18, 2023Updated 3 years ago
- Nmap results are a semigroup☆13Jul 8, 2021Updated 4 years ago
- Unlambda interpreter☆11Jul 9, 2024Updated last year
- A SUBLEQ macro assembler☆12Jul 5, 2020Updated 5 years ago
- internship☆10Sep 1, 2017Updated 8 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- An sbt plugin to manage JS dependencies in Scala.js, in the good old script style☆12Dec 1, 2021Updated 4 years ago
- Rust Crate for converting XML to JSON☆13Mar 12, 2016Updated 9 years ago
- Utility for stripping image metadata☆10Nov 9, 2020Updated 5 years ago
- ☆10Nov 1, 2017Updated 8 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 7 months ago
- The configuration for my OpenBSD home router.☆10Dec 16, 2025Updated 2 months ago
- A (mostly) purely functional console-based esoteric language interpreter.☆13Oct 19, 2021Updated 4 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Project Template for IHP. Used by ihp-new. License: MIT☆11Jan 22, 2026Updated last month
- Share Small Bits Of Knowledge With Your Team, daily.☆11Aug 27, 2016Updated 9 years ago
- Simple string substitution for Haskell.☆15May 8, 2018Updated 7 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- Convert between various casing conventions☆11Dec 21, 2020Updated 5 years ago
- Selenium RC client for Racket.☆10Jan 19, 2011Updated 15 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 6 years ago