Alternatives and similar repositories for EggsML

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

• google / ghc-source-gen
  Library for generating Haskell source files and code fragments.
  ☆98Updated 7 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• bos / rwh
  Real World Haskell
  ☆30Updated 13 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• purescript / purescript-numbers
  Functions for working with PureScripts 'Number' type
  ☆13Updated last year
• NixOS / systemd
  systemd upstream
  ☆10Updated 5 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• kwohlfahrt / purescript-halogen-svg
  ☆23Updated 4 years ago
• chrisdone-archive / sdl2-sprite
  Create and animate sprites easily with sdl2 (Haskell)
  ☆24Updated 7 years ago
• fpco / http-reverse-proxy
  Reverse proxy HTTP requests, either over raw sockets or with WAI
  ☆55Updated last year
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆20Updated 4 years ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆26Updated last month
• jwiegley / gitlib
  ☆182Updated this week
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• channable / icepeak
  Icepeak is a fast JSON document store with push notification support.
  ☆131Updated last month
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆95Updated 4 months ago
• samgqroberts / 2048-unison
  A Unison implementation of the game 2048 that uses the terminal as the user interface.
  ☆15Updated 4 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 10 months ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated last month
• sirlensalot / tatterdemalion
  Ragged writings on all things
  ☆15Updated 3 years ago
• haskell / random
  Random number library
  ☆56Updated last week
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated last week
• idris-community / idris2-http
  a http(s) client in idris
  ☆28Updated 7 months ago
• andreasabel / proposal-agda-tutorial
  Proposal for an Agda tutorial
  ☆11Updated 6 years ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆71Updated 2 years ago