sfischer13 / awesome-fregeLinks
Useful resources for the Frege programming language
☆30Updated 3 years ago
Alternatives and similar repositories for awesome-frege
Users that are interested in awesome-frege are comparing it to the libraries listed below
Sorting:
- Useful resources for the Eta programming language☆62Updated 3 years ago
- Frege code generator for Java classes☆17Updated 7 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- GUI for the frege repl☆25Updated 8 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- 2048 game clone using Yampa FRP library☆29Updated 6 years ago
- Frege REPL☆78Updated 6 years ago
- Frege Interpreter☆15Updated 4 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27Updated 9 years ago
- Source of the Frege Goodness gitbook☆16Updated 6 years ago
- Advent of Code 2017☆41Updated 6 years ago
- A lisp interpreter and compiler, written in Scala. Compiles Lisp to Scala !☆48Updated 9 years ago
- Let's program! Get into programming writing a simple game.☆75Updated 11 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- JVM code generation☆32Updated 6 years ago
- Language support for the Frege programming language in IntelliJIDEA (currently experimental)☆22Updated 9 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 13 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Exercises designed specifically to demonstrate parametricity☆28Updated 11 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago