An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
☆20Feb 22, 2026Updated last week
Alternatives and similar repositories for kics2
Users that are interested in kics2 are comparing it to the libraries listed below
Sorting:
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…☆15Dec 30, 2025Updated 2 months ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- A safe & fast low-level language.☆13Updated this week
- A gentle introduction to Isabelle and Isabelle/HOL☆17Mar 27, 2025Updated 11 months ago
- IDE support for the functional logic programming language Curry☆35Oct 23, 2025Updated 4 months ago
- Advanced ANSI style & color support for your terminal applications☆18Feb 9, 2026Updated 3 weeks ago
- Descrição diário da toda minha trajetória de estudos☆15Jan 30, 2025Updated last year
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Session types framework with support of protocol pipelining.☆16Feb 18, 2026Updated 2 weeks ago
- Hierarchical Greedy Graph☆16Jul 3, 2022Updated 3 years ago
- operating system and its own microkernel in pure Zig☆20Updated this week
- Personal research notes☆19Oct 18, 2024Updated last year
- The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…☆21Updated this week
- A fast, minimal HTTP framework.☆17Jul 3, 2021Updated 4 years ago
- Runtime resizable struct types in Zig☆33Jul 28, 2025Updated 7 months ago
- Haskell implementation of data structures for data science☆24Jan 2, 2026Updated 2 months ago
- A functional scripting language compiling to pure Lambda Calculus☆33Nov 25, 2025Updated 3 months ago
- Improving all Haskell's programmer interfaces☆74Jan 11, 2026Updated last month
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 3 months ago
- ☆11Nov 23, 2024Updated last year
- The Agda Universal Algebra Library (html docs available at the url below)☆43Dec 20, 2025Updated 2 months ago
- CBT Software - This is a computer based test system for any type of institutions(Majorly Primary and Secondary schools) to take Examinati…☆14Jan 24, 2026Updated last month
- Cẩm nang Lập trình Thi đấu☆14Updated this week
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated last month
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A hands-on repository for learning GitHub basics! Dive into beginner-friendly exercises that guide you through creating repositories, mak…☆15Dec 3, 2024Updated last year
- Chatbot de WhatsApp para fluxo de conversa☆12Dec 29, 2024Updated last year
- Lightweight CLI note tracker in Golang with SQLite. A changelog for your mind all within the terminal!☆11Jan 16, 2025Updated last year
- Resources, notes, and projects from Google's 5-Day Generative AI Intensive Course☆12Nov 29, 2024Updated last year
- Fir programming language☆93Updated this week
- ☆76Jun 21, 2022Updated 3 years ago
- ELF for HL SDK replacement in Half-Life PS2 (WIP)☆11Dec 14, 2024Updated last year
- k8s ConfigMaps and Secrets Usage.☆11Jan 24, 2025Updated last year
- Radiocarbon calibration command line tool and Haskell module☆11Nov 24, 2025Updated 3 months ago
- A collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakes☆10Feb 25, 2026Updated last week
- Python Package to Share/Edit Pandas/Polars DF with web interface!☆11Jun 10, 2025Updated 8 months ago
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆38Oct 30, 2025Updated 4 months ago
- ☆16Feb 2, 2026Updated last month