Alternatives and similar repositories for frege-native-gen:

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

• tatut / eta-jdbc-example
  Simple example of using JDBC from Eta language
  ☆10Updated 8 years ago
• carymrobbins / intellij-frege
  Frege support for IntelliJ IDEA
  ☆14Updated 8 years ago
• Dierk / frepl-gui
  GUI for the frege repl
  ☆25Updated 7 years ago
• Frege / FregeFX
  Frege language binding and utilities to create JavaFX user interfaces
  ☆33Updated 3 years ago
• Frege / frege-interpreter
  Frege Interpreter
  ☆15Updated 4 years ago
• Frege / frege-repl
  Frege REPL
  ☆78Updated 6 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 9 years ago
• typelead / etlas
  Etlas, the build tool and package manager for the Eta programming language
  ☆63Updated 5 years ago
• fregelab / chinook
  Tiny Frege web framework developed on top of sparkjava.com
  ☆27Updated 8 years ago
• Dierk / FregeGoodness
  Source of the Frege Goodness gitbook
  ☆17Updated 6 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
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 5 years ago
• slamdata / truffled-purescript
  ☆92Updated 9 years ago
• typelead / gradle-eta
  Gradle plugin for the Eta programming language
  ☆30Updated 3 years ago
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• haskell-works / eta-kafka-client
  Eta bindings to Kafka
  ☆15Updated 7 years ago
• sfischer13 / awesome-eta
  Useful resources for the Eta programming language
  ☆63Updated 3 years ago
• ekmett / either
  the EitherT monad transformer
  ☆55Updated last month
• typelead / eta-hackage
  A set of patches to make Hackage compatible with the Eta language.
  ☆64Updated 5 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆69Updated 4 years ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 2 months ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• snapframework / io-streams
  Simple, composable, and easy-to-use stream I/O for Haskell
  ☆101Updated 3 weeks ago
• Dierk / Real_World_Frege
  Examples of the book "Real World Haskell" in the Frege programming language
  ☆70Updated 9 years ago
• typelead / eta-examples
  Examples of Eta in action.
  ☆36Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• BartoszMilewski / AofC2017
  Advent of Code 2017
  ☆41Updated 6 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 7 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago