Alternatives and similar repositories for LIMA

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

• LeastAuthority / haskell-spake2

  View on GitHub
  SPAKE2 key exchange protocol for Haskell
  ☆14May 24, 2023Updated 2 years ago
• Neuromancer42 / ministgwasm

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

  View on GitHub
  Authenticated Data Structures
  ☆16Jul 5, 2015Updated 10 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
• composewell / compact-list

  View on GitHub
  An append only list in a compact region
  ☆25Sep 6, 2018Updated 7 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• rampion / conkin

  View on GitHub
  Tools for functors from Hask^k to Hask
  ☆23Aug 25, 2019Updated 6 years ago
• simonmar / toy-haxl

  View on GitHub
  A toy implementation of Haxl to illustrate the internals
  ☆22Jun 29, 2017Updated 8 years ago
• twanvl / ttie

  View on GitHub
  Type Theory with Indexed Equality
  ☆26Apr 7, 2017Updated 8 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• orca-lang / orca

  View on GitHub
  Type theory + whales and syntax
  ☆11Nov 28, 2019Updated 6 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• GaloisInc / alex-tools

  View on GitHub
  A Haskell library making it easier to write Alex lexers.
  ☆12Sep 15, 2025Updated 5 months ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• samsergey / monopig

  View on GitHub
  Monoidal stack machine
  ☆10Nov 25, 2018Updated 7 years ago
• DianaPajon / tiger

  View on GitHub
  A Haskell implementation of the tiger compiler
  ☆10May 2, 2020Updated 5 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• OpenAADL / polyorb-hi-c

  View on GitHub
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆12Sep 22, 2022Updated 3 years ago
• pigworker / WhatRTypes4

  View on GitHub
  being the materials from my YOW LambdaJam 2016 talk
  ☆11Jun 11, 2016Updated 9 years ago
• sdiehl / picologic

  View on GitHub
  Symbolic logic expressions
  ☆15Jul 1, 2020Updated 5 years ago
• barrucadu / minifu

  View on GitHub
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Nov 5, 2017Updated 8 years ago
• gergoerdi / hm-compo

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

  View on GitHub
  An experiment in functional interface design
  ☆24Oct 29, 2016Updated 9 years ago
• lambdageek / freer-church

  View on GitHub
  Church-encoding of the Freer monad
  ☆28Oct 27, 2016Updated 9 years ago
• TikhonJelvis / modular-arithmetic

  View on GitHub
  A useful type for working with integers modulo some constant.
  ☆30Jun 8, 2023Updated 2 years ago
• takenobu-hs / ghc-development-flow

  View on GitHub
  GHC development flow
  ☆24May 3, 2017Updated 8 years ago
• mbudde / jana

  View on GitHub
  An interpreter for Janus, the reversible programming language.
  ☆14Jun 7, 2020Updated 5 years ago
• isovector / jazz

  View on GitHub
  i bet you there is a typesystem behind music
  ☆32Oct 24, 2018Updated 7 years ago
• eugmes / imp

  View on GitHub
  Compiler for IMP programming language implemented in Haskell
  ☆16Jun 16, 2020Updated 5 years ago
• tfausak / monadoc-5

  View on GitHub
  🔖 Better Haskell documentation.
  ☆17Sep 11, 2020Updated 5 years ago
• alexbiehl / ignite

  View on GitHub
  Typesafe Off-Heap data structures for GHC Haskell
  ☆14Nov 10, 2017Updated 8 years ago
• ezyang / deepseq-magic

  View on GitHub
  Deep evaluation of data structures without NFData
  ☆10Jan 20, 2015Updated 11 years ago
• pepeiborra / term

  View on GitHub
  Term Rewriting Systems
  ☆17Nov 7, 2015Updated 10 years ago
• GaloisInc / hexdump

  View on GitHub
  A human readable style for binary data.
  ☆12Dec 4, 2019Updated 6 years ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 8 years ago
• liamoc / wizards

  View on GitHub
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Jun 18, 2021Updated 4 years ago