Alternatives and similar repositories for metafun

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

• gergoerdi / clash-tinybasic

  View on GitHub
  ☆11Nov 2, 2021Updated 4 years ago
• mikeizbicki / typeparams

  View on GitHub
  Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
  ☆42Jan 26, 2015Updated 11 years ago
• RyanGlScott / eliminators

  View on GitHub
  Dependently typed elimination functions using singletons
  ☆28Jan 11, 2026Updated last month
• mwotton / judy

  View on GitHub
  ☆18Aug 31, 2022Updated 3 years ago
• oofp / Beseder

  View on GitHub
  Beseder: make impossible state transitions impossible
  ☆31Mar 21, 2020Updated 5 years ago
• HaskellEmbedded / ion

  View on GitHub
  An Ivory library inspired by Atom
  ☆14Oct 17, 2016Updated 9 years ago
• mkeeter / Graphene

  View on GitHub
  Hierarchical computation graphs; details at
  ☆19Sep 6, 2016Updated 9 years ago
• jonsterling / Lens.hpp

  View on GitHub
  Functional Lenses in C++
  ☆21Jul 31, 2011Updated 14 years ago
• taiki45 / hs-vm

  View on GitHub
  Simple Virtual Machine written in Haskell
  ☆28May 10, 2014Updated 11 years ago
• phadej / vec

  View on GitHub
  Nat, Fin, Vec
  ☆25May 2, 2025Updated 9 months ago
• nfrisby / coxswain

  View on GitHub
  A GHC type checker plugin for row types
  ☆39Oct 7, 2017Updated 8 years ago
• labichn / hmc

  View on GitHub
  Hindley-Milner with contracts
  ☆11Dec 5, 2015Updated 10 years ago
• kirkshoop / transducer

  View on GitHub
  transducers in C++ 14
  ☆40Sep 23, 2014Updated 11 years ago
• yi-editor / yi-rope

  View on GitHub
  Rope data structure used by Yi
  ☆20Jun 6, 2018Updated 7 years ago
• k0001 / di

  View on GitHub
  Easy and powerful typeful logging without monad towers, in Haskell.
  ☆26May 7, 2024Updated last year
• tonyday567 / perf

  View on GitHub
  high-resolution performance benchmarking
  ☆26Feb 2, 2026Updated last week
• conal / lambda-ccc

  View on GitHub
  Convert lambda expressions to CCC combinators
  ☆149Feb 23, 2016Updated 9 years ago
• rudymatela / tankode

  View on GitHub
  A programming action game.
  ☆13Feb 15, 2024Updated last year
• kazu-yamamoto / network-run

  View on GitHub
  Simple network runner library in Haskell
  ☆11Nov 19, 2025Updated 2 months ago
• jwatte / ode-0.12

  View on GitHub
  Open Dynamics Engine 0.12 plus test projects
  ☆15May 23, 2012Updated 13 years ago
• lspitzner / iridium

  View on GitHub
  Automated Testing and Package Uploading
  ☆12Oct 3, 2018Updated 7 years ago
• deech / fltkhs-media-player

  View on GitHub
  ☆11Sep 19, 2017Updated 8 years ago
• chrra / htiled

  View on GitHub
  Import from the Tiled map editor.
  ☆16Sep 17, 2018Updated 7 years ago
• srid / unionmount

  View on GitHub
  Union mount in Haskell, with fsnotify
  ☆12Dec 23, 2025Updated last month
• joelburget / easytest

  View on GitHub
  Simple testing toolkit
  ☆10May 28, 2021Updated 4 years ago
• cryptomeme / nario

  View on GitHub
  Super Nario - Haskell clone (mirror)
  ☆13May 7, 2020Updated 5 years ago
• bgamari / nanomsg-haskell

  View on GitHub
  Haskell bindings to nanomsg
  ☆25Jul 19, 2025Updated 6 months ago
• camio / sbase

  View on GitHub
  ☆23Nov 13, 2014Updated 11 years ago
• effectfully / STLC

  View on GitHub
  Dependently typed Algorithm M and friends
  ☆26Jun 2, 2018Updated 7 years ago
• skarupke / reflection

  View on GitHub
  ☆31Dec 19, 2015Updated 10 years ago
• pbogdan / ngx-top

  View on GitHub
  Monitor nginx access logs in real time.
  ☆25Dec 9, 2019Updated 6 years ago
• isovector / typecraft

  View on GitHub
  it's a starcraft clone but with a dope typesystem
  ☆51Apr 7, 2020Updated 5 years ago
• haskell-nix / hnix-web-repl

  View on GitHub
  A REPL for nix expressions in your browser
  ☆13May 5, 2018Updated 7 years ago
• trevorcook / hkd-delta

  View on GitHub
  ☆12Jun 13, 2019Updated 6 years ago
• nikita-volkov / list-t

  View on GitHub
  ListT done right
  ☆15Oct 11, 2023Updated 2 years ago
• oisdk / site

  View on GitHub
  Source code for doisinkidney.com
  ☆14Jan 5, 2026Updated last month
• yixuan / almond

  View on GitHub
  ALMOND: Adaptive Latent Modeling and Optimization via Neural Networks and Langevin Diffusion
  ☆13Nov 16, 2019Updated 6 years ago
• IvanIvanov / JavaScript-Logic-Programming-System

  View on GitHub
  A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…
  ☆22Jan 25, 2012Updated 14 years ago
• taktoa / ghcjs-electron

  View on GitHub
  GHCJS FFI bindings to the Electron API (WIP).
  ☆10May 21, 2017Updated 8 years ago