Source of the Frege Goodness gitbook
☆16Jan 16, 2019Updated 7 years ago
Alternatives and similar repositories for FregeGoodness
Users that are interested in FregeGoodness are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Frege code generator for Java classes☆17Sep 19, 2017Updated 9 years ago
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆10Nov 6, 2018Updated 7 years ago
- A master-class in Origami - from primitive recursions to Kan-extension-based Folds☆14Nov 21, 2017Updated 8 years ago
- JSON:API library for Plug and Phoenix applications☆14Sep 26, 2026Updated 2 weeks ago
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Backports of GHC deriving extensions☆14Jun 17, 2026Updated 3 months ago
- Useful resources for the Frege programming language☆33Sep 11, 2021Updated 5 years ago
- Function generation for Hedgehog☆20Jul 21, 2026Updated 2 months ago
- Created primarily as an internal tool for the F# version of Hedgehog. Test interactive F# examples, similar to doctest for Haskell.☆10May 23, 2017Updated 9 years ago
- VeriFastに関する文書の日本語訳置き場☆15Oct 15, 2018Updated 7 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Nov 20, 2018Updated 7 years ago
- Scala, DSL, Rules based reactive workflows and Microservices☆14Sep 23, 2026Updated 2 weeks ago
- Haskell portable POSIX-compatibility layer☆21Dec 1, 2022Updated 3 years ago
- Voxlap binding for Rust☆12Jul 27, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Testing framework for GitBook plugins☆17Jun 14, 2018Updated 8 years ago
- Pure Haskell LDAP client library☆13Nov 18, 2025Updated 10 months ago
- MTG deck importer for Table Top Simulator☆10May 7, 2017Updated 9 years ago
- Inspired by syn, elm-ast is a Rust library for parsing and constructing Elm 0.19.1 ASTs.☆16Aug 14, 2026Updated last month
- A Haskell Package for unescaping unicode characters in print and show.☆18Dec 10, 2023Updated 2 years ago
- Rrecursion schemes without the barbed wire☆24Jun 3, 2018Updated 8 years ago
- Candy Crush (Scala Programming @ Madrid - December 2016)☆10Dec 15, 2016Updated 9 years ago
- Simile Exhibit with python events☆12Jun 24, 2023Updated 3 years ago
- A site using re-frame, liberator, boot and more to display active github projects☆28Mar 20, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Image analysis tools based on Colour and Three.js☆21Nov 24, 2024Updated last year
- Access SOAP web services from GNU Emacs. This package is maintained as part of the GNU Emacs source repository☆10Jun 17, 2018Updated 8 years ago
- Want to propose changes to Eta?☆14Apr 2, 2018Updated 8 years ago
- Advent of Code 2020 Haskell Solutions☆17Dec 29, 2020Updated 5 years ago
- Course materials for escience curricula☆17Jan 26, 2015Updated 11 years ago
- Utility for Unicode East Asian Width☆20Sep 19, 2026Updated 3 weeks ago
- A web-based interactive reinforcement learning demonstration for games.☆13Jul 25, 2019Updated 7 years ago
- ☆18Nov 8, 2024Updated last year
- Parse environment variables☆33May 6, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Trace visualisation tool for Eio programs☆16Sep 5, 2025Updated last year
- Web platform for schools to manage basic administrative tasks.☆13Sep 21, 2015Updated 11 years ago
- Unix-specific portions of Core☆19Jul 10, 2026Updated 3 months ago
- Resources for the book "Functional and Concurrent Programming"☆19Jan 16, 2026Updated 8 months ago
- A chess program written in Scala☆20Jul 21, 2020Updated 6 years ago
- get37 🪠 is a Scala / ZIO based web scraper/spider☆14Oct 4, 2022Updated 4 years ago
- A Sublime Text 3 client for Vale Server.☆13Dec 7, 2020Updated 5 years ago