Alternatives and similar repositories for EggsML:

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

• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆165Updated 2 months ago
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 8 years ago
• serokell / style
  Collection of programming style guides used in Serokell
  ☆12Updated 2 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• cohomolo-gy / optics-resources
  Resources for the aspiring optician
  ☆39Updated 4 years ago
• haskellfoundation / tech-proposals
  The Haskell Foundation Tech Proposal Process
  ☆69Updated 7 months ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• Lysxia / first-class-families
  First-class type families
  ☆87Updated 7 months ago
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆157Updated 2 months ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 7 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 5 months ago
• agda / agda-language-server
  Language Server for Agda
  ☆107Updated 3 months ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated last month
• serokell / serokell-util
  Various functions which are used across multiple @serokell packages
  ☆44Updated 5 years ago
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆93Updated 3 weeks ago
• flora-pm / flora-server
  A package index for the Haskell ecosystem
  ☆134Updated this week
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆36Updated 6 years ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆126Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated 2 weeks ago
• NorfairKing / haskell-WAT
  A collection of Haskell's WATs
  ☆92Updated 2 months ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• tomjaguarpaw / bluefin
  ☆90Updated last week
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• tdietert / types-as-specifications
  ☆49Updated 5 years ago
• google / ghc-source-gen
  Library for generating Haskell source files and code fragments.
  ☆97Updated 3 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last week
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 8 months ago