Sintrastes/STLK Sintrastes/STLK

  • Stars
    star
    2
  • Language
    Kotlin
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Sintrastes/STLK
github

Sintrastes

Reviews

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

Repository Details

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

More Repositories

1

Montague

A library for non-deterministically parsing natural language expressions into a structured form.
Haskell
16
star
2

xen-fret

A web app for generating SVG microtonal scale diagrams for fretted string instruments.
Haskell
5
star
3

idr-pure-prolog

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

comonadic-ui-hs

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

hafly

Dynamic embeddable scripting language in Haskell.
Haskell
3
star
6

bli-prolog

Statically typed logic programming language designed for bedelibry.
Haskell
3
star
7

kinetix

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

Iodine

Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.
Kotlin
3
star
9

buildable-kt

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

MapAlgebra.jl

High-level declarative GIS processing library for Julia.
Julia
2
star
11

bedelibry-app

Reflex (web app) front-end for Bedelibry.
Haskell
2
star
12

xen-toolbox

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

sintrastes.github.io

HTML
1
star
14

hafly-web-repl

Reflex REPL for the hafly language.
Haskell
1
star
15

FlixRP

Functional Reactive Programming in the Flix programming language.
1
star
16

monad-tree

Monad instances for a rose-tree-like data structure used for nondeterministic computations.
Haskell
1
star
17

atak-flix-dev

Experiments with building an ATAK plugin with the Flix programming language (:
Java
1
star
18

Compose--

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

STLS

Simply typed lambda calculus interpreter in Swift.
Swift
1
star