Modular Apache commons compress
☆11Dec 9, 2024Updated last year
Alternatives and similar repositories for kala-compress
Users that are interested in kala-compress are comparing it to the libraries listed below
Sorting:
- ☆12Aug 19, 2021Updated 4 years ago
- ☆11Sep 15, 2024Updated last year
- Library for glob searching in strings.☆23Oct 5, 2025Updated 5 months ago
- Material 3 color system for JavaFX☆27Nov 20, 2025Updated 3 months ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- A powerful, easy-to-use, modern Java core library for the future☆63Jan 17, 2026Updated last month
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 11 months ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated last year
- ☆13Jun 2, 2025Updated 9 months ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- ☆19Jul 7, 2021Updated 4 years ago
- Just for fun, 114594☆17Apr 28, 2020Updated 5 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 3 years ago
- An implementation of Scheme R7RS-small in 48 working hours.☆20Mar 13, 2020Updated 5 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- An implementation of a simple Neural network in Idris using category theory.☆24Sep 18, 2024Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 3 months ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 4 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- Simple, compact charset detection for Java 8+☆30Jan 9, 2026Updated 2 months ago
- New controls for JavaFX☆27Jan 16, 2025Updated last year
- ☆38Oct 23, 2021Updated 4 years ago
- Formal Topology in Univalent Foundations (WIP).☆37Jul 29, 2022Updated 3 years ago
- ☆11Oct 25, 2024Updated last year
- ☆12Jun 13, 2023Updated 2 years ago
- Simple embedded web application in Ruby for use in Android Devices☆27Sep 2, 2010Updated 15 years ago
- developing clonning commands in termux for clonning☆13Mar 7, 2020Updated 6 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Javafx Icons lib☆15Aug 14, 2025Updated 6 months ago
- 为 https://github.com/Qixingchen/quanzi 提供公开的issue和wiki访问☆10Mar 24, 2016Updated 9 years ago
- Silly Android app to bypass stupid Facebook's limitation that forces user to use Messenger app to chat with contacts, instead of normal b…☆10Jun 15, 2016Updated 9 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago