tdietert/diml 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

tdietert/diml

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/tdietert/diml)

Close

tdietert / dimlView on GitHubMore

• External links
• Readme badge

Honors Thesis Summer/Fall 2015

☆11Nov 18, 2018Updated 7 years ago

Alternatives and similar repositories for diml

Users that are interested in diml are comparing it to the libraries listed below

• thoughtpolice / asc

  View on GitHub
  Austin's supercompiler work
  ☆21Nov 17, 2019Updated 6 years ago
• yigitozkavci / typelevel-dijkstra-sp

  View on GitHub
  Dijkstra's shortest path algorithm implemented at type level with Haskell
  ☆20Dec 11, 2017Updated 8 years ago
• GaloisInc / alex-tools

  View on GitHub
  A Haskell library making it easier to write Alex lexers.
  ☆12Sep 15, 2025Updated 5 months ago
• haskell-distributed / distributed-process-supervisor

  View on GitHub
  Cloud Haskell Supervision Trees
  ☆11Sep 3, 2024Updated last year
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• prikhi / stack-templatizer

  View on GitHub
  Transform a Folder into a Stack Template
  ☆14May 8, 2023Updated 2 years ago
• ezyang / deepseq-magic

  View on GitHub
  Deep evaluation of data structures without NFData
  ☆10Jan 20, 2015Updated 11 years ago
• haskell-distributed / distributed-process-client-server

  View on GitHub
  Cloud Haskell - gen_server implementation
  ☆13Sep 3, 2024Updated last year
• kadena-io / masala

  View on GitHub
  Standalone Ethereum Virtual Machine
  ☆52Jan 12, 2022Updated 4 years ago
• Neuromancer42 / ministgwasm

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• seagreen / llvm-in-haskell

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

  View on GitHub
  ☆14Sep 24, 2017Updated 8 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• nomeata / containers-verified

  View on GitHub
  A package re-exporting the verified subset of containers
  ☆20Jun 18, 2018Updated 7 years ago
• hasura / pg-client-hs

  View on GitHub
  A low level Haskell library to connect to postgres
  ☆25Sep 15, 2022Updated 3 years ago
• haroldcarr / json-pretty-print

  View on GitHub
  compact, human-readable json pretty printing
  ☆14Oct 10, 2023Updated 2 years ago
• LouisJenkinsCS / LLVM-JVM

  View on GitHub
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Aug 23, 2021Updated 4 years ago
• acw / rate-limit

  View on GitHub
  A basic rate-limiting library for Haskell
  ☆20Jan 3, 2023Updated 3 years ago
• i-am-tom / dagless

  View on GitHub
  A monadic interface for DAG construction.
  ☆24May 11, 2021Updated 4 years ago
• gusbicalho / effects-toy

  View on GitHub
  Playing with Haskell effect systems
  ☆13Dec 24, 2019Updated 6 years ago
• quchen / show-prettyprint

  View on GitHub
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Dec 13, 2019Updated 6 years ago
• sdiehl / datetime

  View on GitHub
  Financial datetimes and holiday recurrence rules
  ☆18Jul 2, 2020Updated 5 years ago
• sdiehl / shamir

  View on GitHub
  Shamir Secret Sharing
  ☆21Nov 27, 2019Updated 6 years ago
• jwiegley / coq-cds4ltl

  View on GitHub
  A formal verification of Linear Temporal Logic in Coq
  ☆23Feb 19, 2026Updated 2 weeks ago
• sdiehl / galois-fft

  View on GitHub
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Nov 15, 2020Updated 5 years ago
• declanoller / haskell-vae

  View on GitHub
  Learning about Haskell with Variational Autoencoders
  ☆19Nov 16, 2019Updated 6 years ago
• skaslev / why-types

  View on GitHub
  Why Types Matter
  ☆45Mar 16, 2017Updated 8 years ago
• aherrmann / simply_llvm

  View on GitHub
  ☆41Jul 2, 2017Updated 8 years ago
• Bodigrim / mod

  View on GitHub
  Modular arithmetic, promoting moduli to the type level
  ☆24Sep 13, 2025Updated 5 months ago
• pigworker / CS410-15

  View on GitHub
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40May 24, 2016Updated 9 years ago
• TaktInc / freer

  View on GitHub
  ☆23Apr 17, 2018Updated 7 years ago
• geisha-lang / Geisha

  View on GitHub
  A naive θ..θ programming language
  ☆27Oct 23, 2018Updated 7 years ago
• vindaloo-thesis / examples

  View on GitHub
  Code samples inspiring language design
  ☆23Feb 24, 2016Updated 10 years ago
• parsonsmatt / persistent-typed-db

  View on GitHub
  A type and helpers for typesafe SQL access in the presence of many databases.
  ☆23Jun 2, 2025Updated 9 months ago
• sdiehl / double-ratchet

  View on GitHub
  Double ratchet algorithm for E2E encryption
  ☆61Nov 22, 2018Updated 7 years ago
• devonhollowood / search-algorithms

  View on GitHub
  Haskell library containing common graph search algorithms
  ☆54Jun 28, 2025Updated 8 months ago
• jaseemabid / lisper

  View on GitHub
  A tiny scheme interpreter in Haskell
  ☆24Jul 14, 2019Updated 6 years ago
• abhi3940 / e_vahak

  View on GitHub
  Complete Solution for Cashless Payment in Public Transport 💳🚌
  ☆12May 30, 2024Updated last year
• luiscib3r / Procesamiento-de-Imagenes

  View on GitHub
  Curso de procesamiento de imágenes con Python
  ☆12Feb 26, 2020Updated 6 years ago