vijayphoenix/Compiler-written-in-Haskell external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

vijayphoenix/Compiler-written-in-Haskell

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/vijayphoenix/Compiler-written-in-Haskell)

Close

vijayphoenix / Compiler-written-in-HaskellView on GitHubMore

• External links
• Readme badge

A Turing complete language 😉

☆42Oct 3, 2020Updated 6 years ago

Alternatives and similar repositories for Compiler-written-in-Haskell

Users that are interested in Compiler-written-in-Haskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• seagreen / llvm-in-haskell

  View on GitHub
  Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
  ☆17Apr 13, 2019Updated 7 years ago
• tdammers / ghc-wiki

  View on GitHub
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Mar 9, 2019Updated 7 years ago
• glaebhoerl / simplecompiler

  View on GitHub
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆18Jan 14, 2019Updated 7 years ago
• Vigilans / hscc

  View on GitHub
  Haskell compiler frontend for lex, yacc, and from C to LLVM.
  ☆11Jan 4, 2020Updated 6 years ago
• phadej / language-pts

  View on GitHub
  Pure Type Systems
  ☆12Jul 31, 2020Updated 6 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• phadej / write-yourself-a-typed-functional-language

  View on GitHub
  Write yourself a typed functional language
  ☆65Oct 11, 2018Updated 8 years ago
• tyehle / llvm-lambda

  View on GitHub
  A compiler for a simple language using llvm
  ☆38Jun 14, 2023Updated 3 years ago
• TravisWhitaker / libglaswegian

  View on GitHub
  Use GHC's Memory Allocator from C
  ☆12Feb 22, 2020Updated 6 years ago
• phadej / preload-trick

  View on GitHub
  "Preload" Haskell packages to override them
  ☆12Dec 3, 2018Updated 7 years ago
• lortabac / ariel

  View on GitHub
  A simple, purely-functional programming language
  ☆25Jun 11, 2022Updated 4 years ago
• ocramz / taco-hs

  View on GitHub
  Haskell port of the Tensor Algebra COmpiler
  ☆16Nov 18, 2019Updated 6 years ago
• emilaxelsson / quirinius

  View on GitHub
  A simple type-safe query EDSL
  ☆15Jan 9, 2019Updated 7 years ago
• evertedsphere / preposterous

  View on GitHub
  An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"
  ☆17Jan 26, 2018Updated 8 years ago
• pwrobinson / concurrent-hashtable

  View on GitHub
  A thread-safe hash table in Haskell
  ☆15Feb 28, 2020Updated 6 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• exosphere-lang / compiler

  View on GitHub
  High level AWS CloudFormation language and compiler
  ☆15Feb 28, 2019Updated 7 years ago
• angel-manuel / schc

  View on GitHub
  Simple C Haskell Compiler
  ☆22Feb 5, 2026Updated 9 months ago
• paf31 / partial

  View on GitHub
  A nullary type class for partial functions
  ☆15Nov 28, 2017Updated 8 years ago
• masterdezign / dde

  View on GitHub
  Delay Differential Equations in Haskell
  ☆11Dec 4, 2018Updated 7 years ago
• WhatTheFunctional / Hasquil

  View on GitHub
  Haskell to Quil quantum instruction set compiler
  ☆11Jun 6, 2018Updated 8 years ago
• bryal / carth

  View on GitHub
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Sep 25, 2023Updated 3 years ago
• ucsd-progsys / mist

  View on GitHub
  A tiny language for teaching and experimenting with Refinement Types
  ☆50Jun 22, 2021Updated 5 years ago
• thoughtpolice / asc

  View on GitHub
  Austin's supercompiler work
  ☆21Nov 17, 2019Updated 6 years ago
• alex-mckenna / optimum

  View on GitHub
  Declarative Optimization in Haskell
  ☆11Mar 15, 2019Updated 7 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• conal / circat

  View on GitHub
  A categorical framework for circuit construction
  ☆31Sep 27, 2016Updated 10 years ago
• maybevoid / casimir

  View on GitHub
  Algebraic Effects in Haskell using Implicit Parameters
  ☆47Aug 16, 2020Updated 6 years ago
• qfpl / dollaridoos

  View on GitHub
  A typesafe wrapper around monetary values represented as numeric values, allowing only sensible operations.
  ☆14Jun 2, 2025Updated last year
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 8 years ago
• kandersen / dpc

  View on GitHub
  Distributed Protocol Combinators
  ☆14Apr 11, 2021Updated 5 years ago
• RyanGlScott / eliminators

  View on GitHub
  Dependently typed elimination functions using singletons
  ☆27Jan 11, 2026Updated 10 months ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 2024Updated 2 years ago
• nobrakal / tungsten

  View on GitHub
  Bring fusion to everyone
  ☆16Feb 6, 2020Updated 6 years ago
• frerich / catamorphism

  View on GitHub
  A package exposing a function for generating catamorphisms.
  ☆29Apr 15, 2018Updated 8 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• omelkonian / rewrite-inspector

  View on GitHub
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆22Oct 28, 2019Updated 7 years ago
• TOTBWF / omit-generics

  View on GitHub
  Omit fields for instance deriving
  ☆37Jun 5, 2020Updated 6 years ago
• iand675 / hs-brotli

  View on GitHub
  ☆20Apr 17, 2019Updated 7 years ago
• spinda / liquidhaskell-cabal

  View on GitHub
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25May 30, 2019Updated 7 years ago
• bollu / coremlir

  View on GitHub
  Encoding of GHC Core inside MLIR
  ☆19Nov 12, 2020Updated 6 years ago
• bollu / simplexhc-cpp

  View on GitHub
  optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
  ☆32May 15, 2019Updated 7 years ago