Alternatives and similar repositories for Befungell

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

• trevorforrey / OttoDB

  View on GitHub
  key value database with transactional capabilities. Created for a Distributed Systems class, not suitable for production
  ☆15Dec 5, 2018Updated 7 years ago
• sellout / dhall-dhall

  View on GitHub
  Implementation of Dhall in Dhall
  ☆12Feb 2, 2026Updated last week
• isovector / constraints-emerge

  View on GitHub
  📤 defer instance resolution until runtime
  ☆18Sep 23, 2019Updated 6 years ago
• tfausak / grawlix

  View on GitHub
  Comment on Haskell documentation.
  ☆13Mar 13, 2019Updated 6 years ago
• themattchan / haskell-tiger

  View on GitHub
  Modern compiler implementation in ML, in Haskell
  ☆16Apr 4, 2018Updated 7 years ago
• Lysxia / generic-recursion-schemes

  View on GitHub
  Folds for recursive types with GHC Generics
  ☆28Aug 9, 2025Updated 6 months ago
• puffnfresh / leftpad.hs

  View on GitHub
  Verified left pad
  ☆19Apr 14, 2018Updated 7 years ago
• sdiehl / cats

  View on GitHub
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆34Jul 6, 2017Updated 8 years ago
• Octachron / rational_in_types

  View on GitHub
  Type-level rational puzzles in OCaml
  ☆25Jun 8, 2016Updated 9 years ago
• TOTBWF / iso

  View on GitHub
  A reversible language
  ☆22Sep 25, 2018Updated 7 years ago
• syallop / Join-Language

  View on GitHub
  Haskell Join-calculus DSL
  ☆24Jan 5, 2019Updated 7 years ago
• k0001 / di

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

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

  View on GitHub
  theseus, functional programming language with fully reversible computation
  ☆126Jun 3, 2019Updated 6 years ago
• little-arhat / ppx_jsobject_conv

  View on GitHub
  ppx rewriter for [@@deriving jsobject]
  ☆31Aug 12, 2025Updated 6 months ago
• janestreet / ppx_string

  View on GitHub
  ppx extension for string interpolation
  ☆32Jan 15, 2026Updated 3 weeks ago
• rampion / constraint-unions

  View on GitHub
  A syntax for unions of constraints in Haskell
  ☆70Jun 30, 2017Updated 8 years ago
• uwplse / CoqAST

  View on GitHub
  Fun plugin to play with the Gallina AST.
  ☆38Oct 3, 2019Updated 6 years ago
• chessai / pump

  View on GitHub
  reverse dependency build matrix generator
  ☆33Sep 19, 2020Updated 5 years ago
• LauzHack / LauzHack.github.io

  View on GitHub
  Website for LauzHack, EPFL's largest hackathon.
  ☆11Dec 23, 2025Updated last month
• kcsongor / symbols

  View on GitHub
  Symbol manipulation
  ☆37Apr 17, 2023Updated 2 years ago
• avsm / ocaml-print-intf

  View on GitHub
  Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form
  ☆42Jun 30, 2022Updated 3 years ago
• Armael / pp_loc

  View on GitHub
  Pretty-printing for error source locations
  ☆36Jun 1, 2022Updated 3 years ago
• dariusf / ppx_debug

  View on GitHub
  Tools for record-and-replay debugging
  ☆44Mar 9, 2023Updated 2 years ago
• dmbaturin / bnfgen

  View on GitHub
  Generates random text based on context-free grammars defined in BNF
  ☆40May 27, 2025Updated 8 months ago
• dbuenzli / down

  View on GitHub
  An OCaml toplevel (REPL) upgrade
  ☆93Jul 29, 2025Updated 6 months ago
• TexTools / xivModdingFramework

  View on GitHub
  ☆10Feb 3, 2026Updated last week
• rcmc2020 / stressmap

  View on GitHub
  Cycling Level of Stress Map
  ☆10Jan 19, 2018Updated 8 years ago
• henke37 / NintendoNitro4DotNet

  View on GitHub
  Libraries for working with file formats in Nintendo DS games
  ☆12Nov 20, 2022Updated 3 years ago
• quilt-lang / quilt

  View on GitHub
  A programming language
  ☆11Jan 7, 2022Updated 4 years ago
• ShivamSarodia / FB-Chat-Parser

  View on GitHub
  Parses Facebook chat messages into Python objects to enable convenient analysis.
  ☆11Jan 3, 2018Updated 8 years ago
• NorfairKing / autorecorder

  View on GitHub
  An automatic declarative ASCIInema recorder
  ☆46Dec 3, 2025Updated 2 months ago
• Lysxia / generic-data

  View on GitHub
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Dec 29, 2025Updated last month
• vmchale / atspkg

  View on GitHub
  Build tool for ATS.
  ☆42Apr 11, 2022Updated 3 years ago
• alasdairmackintosh / google-concurrency-library

  View on GitHub
  Automatically exported from code.google.com/p/google-concurrency-library
  ☆35Jan 28, 2016Updated 10 years ago
• camlspotter / ocamloscope.2

  View on GitHub
  OCamlOScope 2 : OCaml API search
  ☆43Oct 12, 2017Updated 8 years ago
• firemanphil / ecs_explorer

  View on GitHub
  Allows easy navigation of your ECS resources
  ☆11May 24, 2017Updated 8 years ago
• cesarandreu / quad-blog

  View on GitHub
  Isomorphic flux and react blog
  ☆10May 20, 2016Updated 9 years ago
• gilligan / vim-textobj-haskell

  View on GitHub
  vim text objects for haskell
  ☆17Oct 26, 2015Updated 10 years ago