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 5 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.

• LightAndLight / closure

  View on GitHub
  Closure calculus implementation
  ☆12Jun 25, 2019Updated 7 years ago
• tyehle / llvm-lambda

  View on GitHub
  A compiler for a simple language using llvm
  ☆38Jun 14, 2023Updated 3 years ago
• 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
• phadej / write-yourself-a-typed-functional-language

  View on GitHub
  Write yourself a typed functional language
  ☆65Oct 11, 2018Updated 7 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• TravisWhitaker / libglaswegian

  View on GitHub
  Use GHC's Memory Allocator from C
  ☆12Feb 22, 2020Updated 6 years ago
• glaebhoerl / simplecompiler

  View on GitHub
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Jan 14, 2019Updated 7 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
• paf31 / partial

  View on GitHub
  A nullary type class for partial functions
  ☆15Nov 28, 2017Updated 8 years ago
• pwrobinson / concurrent-hashtable

  View on GitHub
  A thread-safe hash table in Haskell
  ☆15Feb 28, 2020Updated 6 years ago
• exosphere-lang / compiler

  View on GitHub
  High level AWS CloudFormation language and compiler
  ☆15Feb 28, 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
• masterdezign / dde

  View on GitHub
  Delay Differential Equations in Haskell
  ☆11Dec 4, 2018Updated 7 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.
• proglang / ldgv

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

  View on GitHub
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Sep 25, 2023Updated 2 years ago
• thoughtpolice / asc

  View on GitHub
  Austin's supercompiler work
  ☆21Nov 17, 2019Updated 6 years ago
• i-am-tom / dagless

  View on GitHub
  A monadic interface for DAG construction.
  ☆24May 11, 2021Updated 5 years ago
• maybevoid / casimir

  View on GitHub
  Algebraic Effects in Haskell using Implicit Parameters
  ☆47Aug 16, 2020Updated 5 years ago
• ucsd-progsys / mist

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

  View on GitHub
  A categorical framework for circuit construction
  ☆31Sep 27, 2016Updated 9 years ago
• RyanGlScott / eliminators

  View on GitHub
  Dependently typed elimination functions using singletons
  ☆27Jan 11, 2026Updated 6 months ago
• nobrakal / tungsten

  View on GitHub
  Bring fusion to everyone
  ☆14Feb 6, 2020Updated 6 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• jship / tao

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

  View on GitHub
  ☆20Apr 17, 2019Updated 7 years ago
• lortabac / ariel

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

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

  View on GitHub
  Omit fields for instance deriving
  ☆37Jun 5, 2020Updated 6 years ago
• kthielen / stlcc

  View on GitHub
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Jan 25, 2013Updated 13 years ago
• spinda / liquidhaskell-cabal

  View on GitHub
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25May 30, 2019Updated 7 years ago
• composewell / compact-list

  View on GitHub
  An append only list in a compact region
  ☆25Sep 6, 2018Updated 7 years ago
• bollu / coremlir

  View on GitHub
  Encoding of GHC Core inside MLIR
  ☆19Nov 12, 2020Updated 5 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• mstksg / functor-combinators

  View on GitHub
  Combine and enhance Functors
  ☆39Aug 12, 2025Updated 11 months ago
• bydriv / mhc

  View on GitHub
  Minimal Haskell Compiler
  ☆63Mar 26, 2018Updated 8 years ago
• dorchard / effectful-explanations-talk

  View on GitHub
  "Programs that explain their effects" talk material
  ☆17Jun 22, 2018Updated 8 years ago
• dmjio / Julio

  View on GitHub
  Julia embedded in Haskell
  ☆51Dec 14, 2024Updated last year
• 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 6 years ago
• csabahruska / jhc-components

  View on GitHub
  JHC Haskell compiler split into reusable components
  ☆58Dec 17, 2018Updated 7 years ago
• ikko-lang / ikko

  View on GitHub
  Ikko language
  ☆26Oct 4, 2020Updated 5 years ago