A spoonful of ADT in your Java.
☆49Mar 4, 2023Updated 2 years ago
Alternatives and similar repositories for jADT
Users that are interested in jADT are comparing it to the libraries listed below
Sorting:
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Aug 11, 2023Updated 2 years ago
- Codes related to Idris☆16Sep 4, 2015Updated 10 years ago
- adt4j - Algebraic Data Types for Java☆147Mar 2, 2018Updated 8 years ago
- Reactive Reports - a framework developed in Scala, designed for generating reports from code.☆16Oct 26, 2020Updated 5 years ago
- Scalameta pretty printer for better Scalafix refactorings☆17Apr 23, 2020Updated 5 years ago
- A JVM Heap dump viewer - a souped-up jhat in scala☆22Sep 24, 2015Updated 10 years ago
- Cloud Haskell - Asynchronous Execution☆18Sep 3, 2024Updated last year
- Haskell types and parsers for software version numbers.☆20Dec 12, 2025Updated 2 months ago
- Flexible data structures in Scala☆16Jan 6, 2016Updated 10 years ago
- Lightweight Modular Service Container - Based on existing JBoss Modules, Maven, and CDI Standard Technologies.☆33Mar 20, 2023Updated 2 years ago
- A solid modeling language in Haskell.☆28Sep 14, 2012Updated 13 years ago
- Typesafe API for SQL☆27Nov 12, 2025Updated 3 months ago
- ScalaJSON - JSON for Scala, currently contains minimal AST☆55Jan 10, 2022Updated 4 years ago
- Memoization monad transformer☆30May 7, 2024Updated last year
- An Alexa custom skill to control two Chamberlain MyQ garage doors☆10Sep 24, 2023Updated 2 years ago
- Provably correct implementation of insertion sort in Idris.☆31Apr 23, 2021Updated 4 years ago
- Racket to WebAssembly "compiler".☆33Aug 21, 2020Updated 5 years ago
- This is an activator project providing a seed for starting with Play & Slick, how to write unit test and how to use mocking for unit test…☆27Sep 4, 2017Updated 8 years ago
- Runtime code generation for x86 machine code☆26Sep 30, 2023Updated 2 years ago
- ☆41Feb 17, 2020Updated 6 years ago
- ☆24Dec 22, 2015Updated 10 years ago
- Example code from my presentation on shapeless type class derivation☆28Oct 11, 2015Updated 10 years ago
- Road to Continous Upgrade☆15Aug 12, 2025Updated 6 months ago
- This repository contains solutions for Beecrowd exercises, showcasing over 400 solved problems across more than 21 programming languages.…☆12Feb 26, 2025Updated last year
- Kind-safe framework for type-safe APIs☆78Aug 4, 2019Updated 6 years ago
- Daobab - Java ORM, Object Oriented SQL for Java and Kotlin☆37Dec 26, 2025Updated 2 months ago
- Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…☆578Dec 1, 2022Updated 3 years ago
- Store for video frames and metadata. Seekable & scaleable☆11Feb 20, 2026Updated last week
- redis starter☆13Sep 13, 2017Updated 8 years ago
- My hopelessly idiosyncratic music software☆11Aug 18, 2018Updated 7 years ago
- ☆12Feb 5, 2026Updated 3 weeks ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- OpenTracing (https://opentracing.io) for Haskell☆40Feb 25, 2025Updated last year
- Java library for object oriented exception handling☆17Jun 7, 2018Updated 7 years ago
- A command-line tool that uses AWS KMS to encrypt secrets once, and decrypts them from multiple AWS regions.☆13Apr 11, 2018Updated 7 years ago
- Structured logging utility. Designed to work with logback and logstash. Works well (but not only) with Spring and ELK Stack.☆12Jan 26, 2026Updated last month
- Alloy*---Higher Order Logic for Alloy☆36Dec 28, 2019Updated 6 years ago
- Spring Cloud Data Flow Streaming Example☆10Mar 17, 2018Updated 7 years ago
- DTrace script mode for Emacs☆10Jan 27, 2018Updated 8 years ago