An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
☆24Oct 8, 2026Updated 3 weeks ago
Alternatives and similar repositories for kics2
Users that are interested in kics2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PAKCS: The Portland Aachen Kiel Curry system☆16Oct 11, 2026Updated 3 weeks ago
- Show, plot and compare benchmark results☆16May 14, 2026Updated 5 months ago
- The Agda Universal Algebra Library (html docs available at the url below)☆50Updated this week
- Radiocarbon calibration command line tool and Haskell module☆11Oct 14, 2026Updated 2 weeks ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆22Sep 1, 2026Updated 2 months ago
- Reading, writing and manipulating ".tar" archive files.☆42Oct 24, 2026Updated last week
- Conduit interface for cassava [Haskell]☆16Jan 2, 2024Updated 2 years ago
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- Probabilistic Functional Logic Programming☆16Mar 27, 2025Updated last year
- Icicle Streaming Query Language☆30Jan 20, 2026Updated 9 months ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 3 years ago
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.☆87Updated this week
- IDE support for the functional logic programming language Curry☆37Sep 14, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple, independent library implementing a promise mechanism for asynchronous operations☆12May 18, 2026Updated 5 months ago
- Haskell implementation of an LRU cache☆25Dec 29, 2025Updated 10 months ago
- A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat☆14Apr 8, 2020Updated 6 years ago
- Hierarchical Greedy Graph☆16Jul 3, 2022Updated 4 years ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Library and tool for parsing .eventlog files from GHC☆37Aug 6, 2026Updated 2 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆25May 7, 2026Updated 5 months ago
- Memory-efficient representation of Unicode text strings☆22Jan 4, 2026Updated 9 months 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.
- Common lisp bindings to CUDD.☆13Jan 3, 2018Updated 8 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated 2 years ago
- Boolean Constraint Solving in Prolog☆49Dec 8, 2024Updated last year
- GHC plugin for automatic case splitting☆19May 13, 2026Updated 5 months ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 9 years ago
- Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]☆12Aug 11, 2024Updated 2 years ago
- Single Page Web Applications in Idris☆29Apr 22, 2026Updated 6 months ago
- Session types framework with support of protocol pipelining.☆16Aug 24, 2026Updated 2 months ago
- My personal web site☆18Oct 10, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆60May 17, 2025Updated last year
- A bioinformatics tool for analyzing somatic hypermutation☆20Feb 10, 2024Updated 2 years ago
- Low-level multicore utilities for OCaml☆14Jan 18, 2026Updated 9 months ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated last year
- A safe & fast low-level language.☆13Mar 5, 2026Updated 7 months ago
- Free LLM token counter: see how GPT-4 and GPT-4o split your prompt into tokens, which lines cost the most, and which wordy phrases to cut…☆11Oct 23, 2026Updated last week