Alternatives and similar repositories for awesome-frege

Users that are interested in awesome-frege are comparing it to the libraries listed below

• sfischer13 / awesome-eta
  Useful resources for the Eta programming language
  ☆62Updated 3 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 5 years ago
• typelead / etlas
  Etlas, the build tool and package manager for the Eta programming language
  ☆63Updated 5 years ago
• Frege / frege-native-gen
  Frege code generator for Java classes
  ☆17Updated 7 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 5 years ago
• fpco / schoolofhaskell.com
  ☆16Updated 5 years ago
• typelead / eta-ffi
  A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.
  ☆18Updated 7 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 7 months ago
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• tonymorris / parametricity
  A talk on parametricity
  ☆36Updated last year
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• Dierk / frepl-gui
  GUI for the frege repl
  ☆25Updated 8 years ago
• Soostone / cassy
  High level Cassandra bindings for Haskell
  ☆45Updated 9 years ago
• Frege / FregeFX
  Frege language binding and utilities to create JavaFX user interfaces
  ☆33Updated 3 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 7 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 3 weeks ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 7 months ago
• kowainik / awesome-cabal
  💫 A curated list of awesome resources for the Haskell Cabal build tool.
  ☆120Updated last year
• vincenthz / language-java
  Java parser and printer for haskell
  ☆67Updated 4 years ago
• KesterTong / idris2048
  2048 in Idris
  ☆122Updated 7 years ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆20Updated 7 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• rahulmutt / eta-2048
  2048 game clone using Yampa FRP library
  ☆29Updated 6 years ago
• kowainik / awesome-haskell-sponsorship
  💝 Haskell profiles to sponsor
  ☆48Updated 3 years ago
• purescript / purescript-tuples
  Tuple data type and utility functions
  ☆26Updated 2 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 6 months ago
• HeinrichApfelmus / vault
  A typed, persistent store for values of arbitrary types
  ☆60Updated 3 months ago