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 8 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
- Shy is a framework automatically generating Object Algebras Queries and Transformations based on generic OA Interfaces.☆11May 7, 2015Updated 11 years ago
- JSON:API library for Plug and Phoenix applications☆14Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- stylish-haskell support for VS code☆14Jan 15, 2021Updated 5 years ago
- ☆12Apr 3, 2018Updated 8 years ago
- A functional wrapper for jms☆16May 9, 2026Updated 3 months ago
- Type classes for creating memoized functions☆18Jun 23, 2018Updated 8 years ago
- Examples of Church encodings in C#☆16Nov 24, 2025Updated 8 months ago
- Useful resources for the Frege programming language☆33Sep 11, 2021Updated 4 years ago
- Function generation for Hedgehog☆20Jul 21, 2026Updated 3 weeks ago
- Examples of the nice parts of Racket☆22Apr 21, 2026Updated 3 months ago
- Notes of Programming Languages☆11Nov 30, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Linter & formatter for Clarity☆14Aug 25, 2023Updated 2 years ago
- VeriFastに関する文書の日本語訳置き場☆15Oct 15, 2018Updated 7 years ago
- Voxlap binding for Rust☆12Jul 27, 2020Updated 6 years ago
- Example of how we use the ammonite REPL with akka to provide a console into our systems.☆10Feb 27, 2018Updated 8 years ago
- MTG deck importer for Table Top Simulator☆10May 7, 2017Updated 9 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago
- Inspired by syn, elm-ast is a Rust library for parsing and constructing Elm 0.19.1 ASTs.☆16May 21, 2026Updated 2 months ago
- A Haskell Package for unescaping unicode characters in print and show.☆18Dec 10, 2023Updated 2 years ago
- A Yeoman generator that creates an EditorConfig file☆17Apr 2, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Google cAdvisor, InfluxDB 0.9, Grafana☆10Feb 14, 2016Updated 10 years ago
- A site using re-frame, liberator, boot and more to display active github projects☆28Mar 20, 2016Updated 10 years ago
- Converts TypeScript Interfaces to JSON Schema.☆20Apr 20, 2017Updated 9 years ago
- An example provisioning of a docker image using chef solo☆12Mar 10, 2018Updated 8 years ago
- Exercises designed specifically to demonstrate parametricity☆28May 8, 2014Updated 12 years ago
- 💻 Minimalist config for working in a terminal environment.☆18Jul 6, 2026Updated last month
- Image analysis tools based on Colour and Three.js☆21Nov 24, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Course materials for escience curricula☆17Jan 26, 2015Updated 11 years ago
- Utility for Unicode East Asian Width☆20Nov 1, 2025Updated 9 months ago
- A web-based interactive reinforcement learning demonstration for games.☆13Jul 25, 2019Updated 7 years ago
- ☆18Nov 8, 2024Updated last year
- Dash docset generator for manuals or scala libraries and websites in general☆13Aug 29, 2017Updated 8 years ago
- Parse environment variables☆33May 6, 2026Updated 3 months ago
- Trace visualisation tool for Eio programs☆16Sep 5, 2025Updated 11 months ago