Alternatives and similar repositories for frege-native-gen:

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

• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 4 years ago
• fregelab / chinook
  Tiny Frege web framework developed on top of sparkjava.com
  ☆27Updated 8 years ago
• Dierk / frepl-gui
  GUI for the frege repl
  ☆25Updated 7 years ago
• tatut / eta-jdbc-example
  Simple example of using JDBC from Eta language
  ☆10Updated 8 years ago
• Dierk / FregeGoodness
  Source of the Frege Goodness gitbook
  ☆17Updated 6 years ago
• Frege / FregeFX
  Frege language binding and utilities to create JavaFX user interfaces
  ☆33Updated 3 years ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated 8 months ago
• typelead / gradle-eta
  Gradle plugin for the Eta programming language
  ☆30Updated 3 years ago
• typelead / etlas
  Etlas, the build tool and package manager for the Eta programming language
  ☆63Updated 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
• carymrobbins / intellij-frege
  Frege support for IntelliJ IDEA
  ☆14Updated 8 years ago
• haskell-works / eta-kafka-client
  Eta bindings to Kafka
  ☆15Updated 7 years ago
• Frege / frege-repl
  Frege REPL
  ☆78Updated 5 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• typelead / eta-hackage
  A set of patches to make Hackage compatible with the Eta language.
  ☆64Updated 5 years ago
• typelead / eta-examples
  Examples of Eta in action.
  ☆36Updated 6 years ago
• typelead / eta-proposals
  Want to propose changes to Eta?
  ☆14Updated 6 years ago
• slamdata / truffled-purescript
  ☆92Updated 9 years ago
• valderman / shellmate
  Write type-safe shell scripts in Haskell
  ☆14Updated 5 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 8 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 5 years ago
• snapframework / io-streams
  Simple, composable, and easy-to-use stream I/O for Haskell
  ☆99Updated 8 months ago
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 4 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• fregelab / sirocco
  Frege + database = :-)
  ☆16Updated 8 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 5 years ago