sfischer13 / awesome-frege
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
- Useful resources for the Eta programming language☆63Updated 3 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Frege REPL☆78Updated 6 years ago
- Frege code generator for Java classes☆17Updated 7 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Slides & demos for talks I do☆59Updated 4 years ago
- 2048 game clone using Yampa FRP library☆29Updated 6 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆79Updated 7 years ago
- Exercism exercises in Coq.☆18Updated 4 months ago
- Exercises designed specifically to demonstrate parametricity☆28Updated 10 years ago
- GUI for the frege repl☆25Updated 7 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- Examples of Eta in action.☆36Updated 6 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- ☆16Updated 5 years ago
- Cloud Haskell Demonstration☆18Updated 9 years ago
- JVM code generation☆32Updated 6 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 3 weeks ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- An sbt plugin that integrates Eta into Scala projects.☆57Updated 5 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 7 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- Frege Interpreter☆15Updated 4 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago