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
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
- Frege Interpreter☆15Updated 4 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- GUI for the frege repl☆25Updated 8 years ago
- Frege REPL☆78Updated 6 years ago
- Cloud Haskell Demonstration☆18Updated 9 years ago
- Home page for the Simple Haskell Initiative☆15Updated 2 years ago
- ☆16Updated 5 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- JVM code generation☆32Updated 6 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Hackage search engine☆56Updated 7 years ago
- Haskell 98 contravariant functors☆73Updated 7 months ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 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
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 7 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 6 months ago
- 💝 Haskell profiles to sponsor☆48Updated 3 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆60Updated last year
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- the EitherT monad transformer☆55Updated 2 months ago
- Tuple data type and utility functions☆26Updated 2 years ago
- Frege support for IntelliJ IDEA☆14Updated 8 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Updated 6 years ago
- Express parametrable, composable and portable data pipelines☆89Updated 3 years ago
- android app example linked with haskell library using android NDK☆32Updated 8 years ago