Sintrastes

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.

bli-prolog

Statically typed logic programming language designed for bedelibry.

hafly

Dynamic embeddable scripting language in Haskell.

Iodine

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

kinetix

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

bedelibry-app

Reflex (web app) front-end for Bedelibry.

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.

STLK

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

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.

FlixRP

Functional Reactive Programming in the Flix programming language.

hafly-web-repl

Reflex REPL for the hafly language.

monad-tree

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

sintrastes.github.io

STLS

Simply typed lambda calculus interpreter in Swift.

arrow-meta

Functional companion to Kotlin's Compiler

awesome

My own personal awesome list in a variety of topics.

bedelibry

The intelligent research assistant.

flix

The Flix Programming Language

hs-nlp

Just some ideas from the CMU NLP course I'm taking, re-implemented in Haskell for my own understanding.

indigo

An FP game engine for Scala.

meriv-core

Core library for the Meriv programming language.

micro-jam

Easily generate microtonal "jam tracks" for improvisation practice.

obelisk

Functional reactive web and mobile applications, with batteries included.

OSSRH-72747

Needed for publication to maven central.

progress-category

A small library for categories admitting a notion of progress updating.

pure-prolog

Simple pure prolog interpreter

sintrastes

My github readme.