Sintrastes/STLS

Stars
1
Language
Swift
Created over 2 years ago
Updated over 2 years ago

Sintrastes/STLS

Sintrastes

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

Simply typed lambda calculus interpreter in Swift.

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 (:

Compose--

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