luqui/vatican 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

luqui/vatican

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/luqui/vatican)

Close

luqui / vaticanView on GitHubMore

• External links
• Readme badge

A lazy specializing virtual machine for purely functional languages

☆103Apr 11, 2018Updated 7 years ago

Alternatives and similar repositories for vatican

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

• ggreif / dynamic-loader

  View on GitHub
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Feb 28, 2018Updated 8 years ago
• fpco / mutable-containers

  View on GitHub
  Abstactions and concrete implementations of mutable containers
  ☆13Jul 4, 2016Updated 9 years ago
• ghcjs / ghcjs-dom-hello

  View on GitHub
  GHCJS DOM Hello World, an example package
  ☆10Apr 24, 2025Updated 10 months ago
• talw / crisp-compiler

  View on GitHub
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100May 10, 2016Updated 9 years ago
• bobatkey / sorting-types

  View on GitHub
  Typed DSLs for sorting
  ☆20Feb 16, 2018Updated 8 years ago
• UnkindPartition / prover

  View on GitHub
  Simple lambda prover
  ☆24Jul 6, 2015Updated 10 years ago
• fhaust / dtw

  View on GitHub
  Implementation of Dynamic Time Warping in Haskell
  ☆18Jan 25, 2023Updated 3 years ago
• jmoy / costlyState

  View on GitHub
  Classroom demonstration of costly state verification in finance
  ☆16Mar 30, 2015Updated 10 years ago
• pkamenarsky / typedraw

  View on GitHub
  Visually describe Haskell/Purescript/Elm types
  ☆106Feb 2, 2018Updated 8 years ago
• iu-parfunc / haskell_dsl_tour

  View on GitHub
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Sep 28, 2015Updated 10 years ago
• jwiegley / coq-pipes

  View on GitHub
  ☆99Sep 22, 2025Updated 5 months ago
• GaloisInc / ICryptol

  View on GitHub
  IPython-style interaction for Cryptol
  ☆15Dec 5, 2016Updated 9 years ago
• mthom / shentong

  View on GitHub
  A Haskell implementation of the Shen programming language.
  ☆168Apr 5, 2018Updated 7 years ago
• Cognimeta / perdure

  View on GitHub
  Robust persistence for typed immutable data
  ☆16Nov 5, 2016Updated 9 years ago
• emmanueldenloye / manifoldRNC

  View on GitHub
  ☆10Feb 3, 2016Updated 10 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• hellertime / time-recurrence

  View on GitHub
  Generate recurring dates.
  ☆17Jan 15, 2024Updated 2 years ago
• brendanhay / numbersd

  View on GitHub
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Feb 12, 2014Updated 12 years ago
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• khanage / heineken

  View on GitHub
  A general build tool for haskell projects inspired by leiningen
  ☆16Jun 6, 2015Updated 10 years ago
• ekmett / concurrent-supply

  View on GitHub
  A fast globally unique variable supply with a pure API
  ☆19Jun 26, 2023Updated 2 years ago
• jpt4 / skio

  View on GitHub
  Pure relational SKI combinator calculus interpreter.
  ☆11Jul 13, 2017Updated 8 years ago
• yesodweb / css-text

  View on GitHub
  CSS parser and renderer.
  ☆16Aug 19, 2020Updated 5 years ago
• pigworker / CS410-13

  View on GitHub
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆30May 27, 2014Updated 11 years ago
• ibrahimsag / rw

  View on GitHub
  an experiment in presenting code.
  ☆14Aug 11, 2020Updated 5 years ago
• hamishmack / yesod-slides

  View on GitHub
  Slides from my Wellington FP Users Group presentation on Yesod
  ☆15May 14, 2011Updated 14 years ago
• sseefried / docker-epidemic-build-env

  View on GitHub
  A Dockerfile to build a development environment for Android version of Epidemic.
  ☆31Apr 24, 2016Updated 9 years ago
• andrewdougherty / svm

  View on GitHub
  A support vector machine implemented in Haskell.
  ☆33Dec 18, 2010Updated 15 years ago
• cdparks / mini-core

  View on GitHub
  An implementation of the Core language
  ☆30Oct 4, 2015Updated 10 years ago
• tanakh / html2hamlet

  View on GitHub
  HTML to Hamlet converter
  ☆16Oct 1, 2019Updated 6 years ago
• solatis / haskell-network-anonymous-i2p

  View on GitHub
  Haskell API for I2P anonymous networking
  ☆16Jun 1, 2015Updated 10 years ago
• darius / toot

  View on GitHub
  A small language to demo turning an interpreter into a compiler
  ☆11Nov 3, 2016Updated 9 years ago
• bmsherman / haskell-matlab

  View on GitHub
  Matlab bindings and interface for Haskell
  ☆13Aug 24, 2020Updated 5 years ago
• jstolarek / why-dependent-types-matter

  View on GitHub
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Jun 14, 2018Updated 7 years ago
• obsidiansystems / dependent-map

  View on GitHub
  Dependently-typed finite maps (partial dependent products)
  ☆65Oct 19, 2025Updated 4 months ago
• acowley / cabbage

  View on GitHub
  A tool for caching cabal builds in a Nix store
  ☆33Dec 23, 2015Updated 10 years ago
• riak-haskell-client / riak-haskell-client

  View on GitHub
  A fast Haskell client library for the Riak decentralized data store
  ☆50Apr 1, 2023Updated 2 years ago
• sseefried / open-epidemic-game

  View on GitHub
  A game about exponential growth written in Haskell
  ☆31May 11, 2016Updated 9 years ago
• amcphail / lambda

  View on GitHub
  An untyped lambda calculus interpreter
  ☆12Nov 25, 2023Updated 2 years ago