Skip to content

@Constructive-Programming Constructive-Programming

All

    Repositories list

    7 repositories

    • scala-cardinality

      Public
      Type Cardinality Calculator for your projects
      Scala
      •
      GNU General Public License v2.0
      •0•1•0•1•Updated Oct 1, 2026Oct 1, 2026

    • eo

      Public
      Existential Optics Library for Scala3 based on cats
      scalaopticsconstructive-programming
      scalaopticsconstructive-programming
      Scala
      •
      Apache License 2.0
      •2•25•8•6•Updated Oct 1, 2026Oct 1, 2026

    • website

      Public
      Constructive Programming Website
      functional-programmingdeclarative-programmingconstructive-programming
      functional-programmingdeclarative-programmingconstructive-programming
      SCSS
      •
      GNU Affero General Public License v3.0
      •0•0•0•2•Updated Sep 11, 2026Sep 11, 2026

    • 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
      •3•4•0•0•Updated Sep 10, 2026Sep 10, 2026

    • fixed

      Public
      Fixed: a purely functional, capability-only programming language — no concrete data types, compiler-owned representations, algebraic effects, Perceus RC
      Scala
      •0•4•1•0•Updated May 4, 2026May 4, 2026

    • surreals

      Public
      Curious Library to operate with Surreal Numbers
      Scala
      •0•0•0•2•Updated Aug 20, 2024Aug 20, 2024

    • workshops

      Public
      Scala workshops around constructive programming
      Scala
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Mar 25, 2020Mar 25, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.