athas / EggsML

Related projects ⓘ

Alternatives and complementary repositories for EggsML

• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated 10 months ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆162Updated last month
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated last year
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆149Updated last week
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆90Updated 3 weeks ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆87Updated 6 years ago
• effectfully-ou / sketches
  A Haskell blog
  ☆126Updated 4 months ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆121Updated 3 months ago
• Lysxia / first-class-families
  First-class type families
  ☆86Updated 3 months ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• input-output-hk / nix-tools
  Translate Cabals Generic Package Description to a Nix expression
  ☆96Updated last year
• bergey / ghc-passes-graph
  ☆25Updated 4 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆119Updated 2 months ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆72Updated last year
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated 10 months ago
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆123Updated last year
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆104Updated 3 weeks ago
• jaspervdj / profiteur
  Visualiser for Haskell (GHC) prof files
  ☆193Updated last year
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• flora-pm / flora-server
  A package index for the Haskell ecosystem
  ☆128Updated this week
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 8 months ago
• edwinb / idris2-vim
  Vim mode for Idris 2
  ☆76Updated 2 years ago
• ndmitchell / record-dot-preprocessor
  A preprocessor for a Haskell record syntax using dot
  ☆129Updated 10 months ago
• matthewbauer / ghc-nix
  Exploring the options for incremental Haskell builds using Nix
  ☆106Updated last year
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• digital-asset / ghc-lib
  The GHC API, decoupled from GHC versions
  ☆161Updated 2 weeks ago
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month