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
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Frege REPL☆78Updated 6 years ago
- Frege code generator for Java classes☆17Updated 7 years ago
- GUI for the frege repl☆25Updated 8 years ago
- ☆16Updated 5 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- Frege Interpreter☆15Updated 4 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Updated 5 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- 2048 game clone using Yampa FRP library☆29Updated 6 years ago
- JVM code generation☆32Updated 6 years ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 12 years ago
- 2048 in Idris☆121Updated 7 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Source of the Frege Goodness gitbook☆17Updated 6 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
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Exercises designed specifically to demonstrate parametricity☆28Updated 10 years ago
- Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.☆45Updated 6 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- Exercism exercises in Coq.☆18Updated 5 months ago
- Code for the "Logic, machines and sequent calculus" talk☆31Updated 2 years ago