Sintrastes/kinetix Sintrastes/kinetix

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Kotlin
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Sintrastes/kinetix
github

Sintrastes

Reviews

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

Repository Details

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

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

Iodine

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

STLK

Extensible simply typed lambda calculus interpreter in Kotlin using object algebras.
Kotlin
2
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