Constructive-Programming

Popular repositories Loading

1. eo eo Public

   Existential Optics Library for Scala3 based on cats

   Scala 25 2

2. fixed fixed Public

   Fixed: a purely functional, capability-only programming language — no concrete data types, compiler-owned representations, algebraic effects, Perceus RC

   Scala 4

3. rivoli rivoli Public

   A foundational model (GLM5.2, kimi k3, etc) inference engine for the AMD Strix Halo APU (gfx1151) — Rust + tokio streaming, HIP/ROCm compute.

   Rust 4 3

4. scala-cardinality scala-cardinality Public

   Type Cardinality Calculator for your projects

   Scala 1

5. workshops workshops Public

   Scala workshops around constructive programming

   Scala

6. website website Public

   Constructive Programming Website

   SCSS