Sintrastes/Compose--

Stars
1
Language
Kotlin
License
Apache License 2.0
Created about 1 year ago
Updated about 1 year ago

Sintrastes/Compose--

Sintrastes

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Minimalistic declarative UI engine in Kotlin built on top of flow. Loosely based on fudgets.

Montague

A library for non-deterministically parsing natural language expressions into a structured form.

xen-fret

A web app for generating SVG microtonal scale diagrams for fretted string instruments.

idr-pure-prolog

Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.

comonadic-ui-hs

Framework in Haskell for building comonadic user interfaces based off the thesis Comonads for user interfaces.

hafly

Dynamic embeddable scripting language in Haskell.

bli-prolog

Statically typed logic programming language designed for bedelibry.

kinetix

A small DSL in Kotlin for incremental computation, inspired by the incremental library for OCaml.

Iodine

Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.

STLK

Extensible simply typed lambda calculus interpreter in Kotlin using object algebras.

buildable-kt

A small library for deriving a generic buildable implementation for Kotlin data classes.

MapAlgebra.jl

High-level declarative GIS processing library for Julia.

bedelibry-app

Reflex (web app) front-end for Bedelibry.

xen-toolbox

A toolbox for algorithmic composition and livecoding xenharmonic music in Haskell.

sintrastes.github.io

hafly-web-repl

Reflex REPL for the hafly language.

FlixRP

Functional Reactive Programming in the Flix programming language.

monad-tree

Monad instances for a rose-tree-like data structure used for nondeterministic computations.

atak-flix-dev

Experiments with building an ATAK plugin with the Flix programming language (:

STLS

Simply typed lambda calculus interpreter in Swift.