Alternatives and similar repositories for sweet-egison

Users that are interested in sweet-egison are comparing it to the libraries listed below

• egison / egison-haskell

  View on GitHub
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Jul 13, 2020Updated 5 years ago
• egison / typed-egison

  View on GitHub
  ☆19Jan 29, 2019Updated 7 years ago
• ksk / Rho

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 4 years ago
• ymyzk / lambda-dti

  View on GitHub
  Interpreter of the ITGL with dynamic type inference
  ☆21Feb 24, 2025Updated 11 months ago
• cdepillabout / world-peace

  View on GitHub
  open union and open product types in Haskell
  ☆31Aug 9, 2020Updated 5 years ago
• tdammers / ghc-wiki

  View on GitHub
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Mar 9, 2019Updated 6 years ago
• shin-sakata / Citrous

  View on GitHub
  Easy, Fast and Type-Safe Web Application Framework
  ☆32Jan 22, 2026Updated 3 weeks ago
• bittn / bittn

  View on GitHub
  bittn compiler infrastructure
  ☆11Oct 12, 2020Updated 5 years ago
• edsko / stack2cabal

  View on GitHub
  ☆14Apr 17, 2022Updated 3 years ago
• lehins / massiv-io

  View on GitHub
  Read and write images as massiv arrays
  ☆13Oct 23, 2021Updated 4 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• fumieval / apus

  View on GitHub
  ☆10Dec 19, 2018Updated 7 years ago
• aische / typelevel-examples

  View on GitHub
  Haskell Type Level Example Programs
  ☆28Nov 30, 2017Updated 8 years ago
• stmtk1 / first_prog

  View on GitHub
  初めて作ったプログラミング言語です
  ☆12Dec 22, 2018Updated 7 years ago
• coord-e / mlml

  View on GitHub
  self-hosted compiler for a subset of OCaml
  ☆51Jun 12, 2019Updated 6 years ago
• alexbiehl / ignite

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

  View on GitHub
  Publish & Subscribe
  ☆13Dec 15, 2020Updated 5 years ago
• patrickt / tactics

  View on GitHub
  Deep-embedded combinators for strategic rewriting.
  ☆15Nov 24, 2021Updated 4 years ago
• mwotton / lz4hs

  View on GitHub
  Haskell bindings to lz4
  ☆21Updated this week
• bgamari / ghc-dump

  View on GitHub
  A GHC plugin and library for analysing GHC Core
  ☆54Feb 4, 2025Updated last year
• greymd / egzact

  View on GitHub
  Generate flexible patterns on the shell
  ☆50May 3, 2022Updated 3 years ago
• momohatt / hscaml

  View on GitHub
  yet another toy OCaml interpreter in Haskell
  ☆12Jul 5, 2020Updated 5 years ago
• kowainik / first-class-patterns

  View on GitHub
  First class patterns and pattern matching, using type families
  ☆18Nov 6, 2020Updated 5 years ago
• cpdt-japanese / cpdt-japanese

  View on GitHub
  Certified Programming with Dependent Types (Japanese Translation)
  ☆15Jan 14, 2021Updated 5 years ago
• def- / ghc-datasize

  View on GitHub
  ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
  ☆17Aug 22, 2024Updated last year
• hgoes / smtlib2

  View on GitHub
  SMTLib2 interface implementation for Haskell
  ☆18Dec 6, 2017Updated 8 years ago
• mpickering / hashtag-coerce

  View on GitHub
  A GHC source plugin which detects opportunities to use coerce
  ☆17Aug 8, 2018Updated 7 years ago
• bydriv / mhc

  View on GitHub
  Minimal Haskell Compiler
  ☆63Mar 26, 2018Updated 7 years ago
• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• gdevanla / pptable

  View on GitHub
  A Haskell library to pretty print data in a tabular format
  ☆11Mar 18, 2018Updated 7 years ago
• msprotz / proof-search-monad

  View on GitHub
  Tentative write-up of a neat trick used in the Mezzo type-checker
  ☆15Nov 27, 2015Updated 10 years ago
• 8l / asif

  View on GitHub
  A Self-Interpreter for F-omega
  ☆16Dec 6, 2015Updated 10 years ago
• iokasimov / monopati

  View on GitHub
  Well-typed paths
  ☆20Dec 17, 2018Updated 7 years ago
• yigitozkavci / parquet-hs

  View on GitHub
  Read parquet format with Haskell
  ☆18Oct 12, 2022Updated 3 years ago
• snowleopard / united

  View on GitHub
  United Monoids
  ☆24Oct 2, 2022Updated 3 years ago
• uwplse / oeuf

  View on GitHub
  gallina frontend for CompCert
  ☆19Jul 6, 2019Updated 6 years ago
• nushio3 / formura

  View on GitHub
  Describe stencil formurae without even translating them
  ☆59Mar 2, 2017Updated 8 years ago
• isovector / latex-live-snippets

  View on GitHub
  deprecated by `design-tools`
  ☆17Dec 5, 2018Updated 7 years ago
• patrickt / empathy

  View on GitHub
  a modern library for typed path manipulation in Haskell
  ☆36Jul 24, 2025Updated 6 months ago