-
-
kotest Public
Forked from kotest/kotestPowerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
Kotlin Apache License 2.0 UpdatedNov 1, 2025 -
wasmtime Public
Forked from bytecodealliance/wasmtimeA lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Rust Apache License 2.0 UpdatedAug 23, 2025 -
cargo-component Public
Forked from bytecodealliance/cargo-componentA Cargo subcommand for creating WebAssembly components based on the component model proposal.
Rust Apache License 2.0 UpdatedJul 13, 2025 -
ef3r Public
Experimental Functional Reactive Runtime in Rust
-
enstate Public
Composable and flexible zero-cost state machine abstractions in Rust. 🦀
-
-
Compose-- Public
Minimalistic declarative UI engine in Kotlin built on top of flow. Loosely based on fudgets.
-
kinetix Public
A small DSL in Kotlin for incremental computation, inspired by the incremental library for OCaml.
-
-
atak-flix-dev Public
Experiments with building an ATAK plugin with the Flix programming language (:
-
FlixRP Public
Functional Reactive Programming in the Flix programming language.
-
-
hafly-web-repl Public
Reflex REPL for the hafly language.
-
hafly Public
Dynamic embeddable scripting language in Haskell.
-
Montague Public
A library for non-deterministically parsing natural language expressions into a structured form.
-
hs-nlp Public
Just some ideas from the CMU NLP course I'm taking, re-implemented in Haskell for my own understanding.
Haskell MIT License UpdatedJan 15, 2023 -
MapAlgebra.jl Public
High-level declarative GIS processing library for Julia.
-
xen-fret Public
A web app for generating SVG microtonal scale diagrams for fretted string instruments.
-
micro-jam Public
Easily generate microtonal "jam tracks" for improvisation practice.
GNU Affero General Public License v3.0 UpdatedSep 25, 2022 -
progress-category Public
A small library for categories admitting a notion of progress updating.
MIT License UpdatedAug 21, 2022 -
Iodine Public
Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.
-
-
STLK Public
Extensible simply typed lambda calculus interpreter in Kotlin using object algebras.
-
bedelibry-app Public
Reflex (web app) front-end for Bedelibry.
-
bli-prolog Public
Statically typed logic programming language designed for bedelibry.
-
bedelibry Public
The intelligent research assistant.
-
meriv-core Public
Core library for the Meriv programming language.
-
pure-prolog Public
Forked from kfl/pure-prologSimple pure prolog interpreter
Haskell MIT License UpdatedMay 8, 2022 -
obelisk Public
Forked from obsidiansystems/obeliskFunctional reactive web and mobile applications, with batteries included.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 7, 2022
{{ message }}