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
- JSON:API library for Plug and Phoenix applications☆14Updated this week
- ☆12Apr 3, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A functional wrapper for jms☆16May 9, 2026Updated 3 months ago
- Type classes for creating memoized functions☆18Jun 23, 2018Updated 8 years ago
- Backports of GHC deriving extensions☆14Jun 17, 2026Updated 2 months ago
- Examples of Church encodings in C#☆16Nov 24, 2025Updated 9 months ago
- Useful resources for the Frege programming language☆33Sep 11, 2021Updated 4 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- Function generation for Hedgehog☆20Jul 21, 2026Updated last month
- Examples of the nice parts of Racket☆22Apr 21, 2026Updated 4 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Notes of Programming Languages☆11Nov 30, 2024Updated last year
- Linter & formatter for Clarity☆14Aug 25, 2023Updated 3 years ago
- Demonstrate, practice and learn Filters, WikiText and CSS in TiddlyWiki☆11Nov 17, 2024Updated last year
- 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☆14Oct 20, 2025Updated 10 months 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
- Tooling for a Pandoc-based workflow with Logseq☆11Sep 20, 2022Updated 3 years ago
- Inspired by syn, elm-ast is a Rust library for parsing and constructing Elm 0.19.1 ASTs.☆16Aug 14, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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
- 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
- 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
- A property-based testing library for .NET, authored in C#☆18Sep 25, 2024Updated last year
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Want to propose changes to Eta?☆14Apr 2, 2018Updated 8 years ago
- WIP - Scala RethinkDB Driver☆13Oct 19, 2016Updated 9 years ago
- Advent of Code 2020 Haskell Solutions☆16Dec 29, 2020Updated 5 years ago
- Course materials for escience curricula☆17Jan 26, 2015Updated 11 years ago
- A web-based interactive reinforcement learning demonstration for games.☆13Jul 25, 2019Updated 7 years ago
- Use F# to create and consume flexible, strongly typed web APIs following the JSON:API specification☆21Feb 17, 2020Updated 6 years ago
- Trace visualisation tool for Eio programs☆16Sep 5, 2025Updated 11 months ago