Sintrastes
Software developer, mathematician. Interested in category theory, functional programming, static type systems, logic programming, and UI frameworks.
Shenandoah County, VA
Pinned Repositories
partech-metadata-utils
Utilities for working with metadata on the JVM and ATAK.
bedelibry-app
Reflex (web app) front-end for Bedelibry.
bli-prolog
Statically typed logic programming language designed for bedelibry.
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.
idr-pure-prolog
Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.
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.
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.
Sintrastes's Repositories
Sintrastes/Montague
A library for non-deterministically parsing natural language expressions into a structured form.
Sintrastes/xen-fret
A web app for generating SVG microtonal scale diagrams for fretted string instruments.
Sintrastes/bli-prolog
Statically typed logic programming language designed for bedelibry.
Sintrastes/hafly
Dynamic embeddable scripting language in Haskell.
Sintrastes/Iodine
Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.
Sintrastes/kinetix
A small DSL in Kotlin for incremental computation, inspired by the incremental library for OCaml.
Sintrastes/bedelibry-app
Reflex (web app) front-end for Bedelibry.
Sintrastes/buildable-kt
A small library for deriving a generic buildable implementation for Kotlin data classes.
Sintrastes/MapAlgebra.jl
High-level declarative GIS processing library for Julia.
Sintrastes/STLK
Extensible simply typed lambda calculus interpreter in Kotlin using object algebras.
Sintrastes/atak-flix-dev
Experiments with building an ATAK plugin with the Flix programming language (:
Sintrastes/Compose--
Minimalistic declarative UI engine in Kotlin built on top of flow. Loosely based on fudgets.
Sintrastes/FlixRP
Functional Reactive Programming in the Flix programming language.
Sintrastes/hafly-web-repl
Reflex REPL for the hafly language.
Sintrastes/monad-tree
Monad instances for a rose-tree-like data structure used for nondeterministic computations.
Sintrastes/sintrastes.github.io
Sintrastes/STLS
Simply typed lambda calculus interpreter in Swift.
Sintrastes/arrow-meta
Functional companion to Kotlin's Compiler
Sintrastes/awesome
My own personal awesome list in a variety of topics.
Sintrastes/bedelibry
The intelligent research assistant.
Sintrastes/flix
The Flix Programming Language
Sintrastes/hs-nlp
Just some ideas from the CMU NLP course I'm taking, re-implemented in Haskell for my own understanding.
Sintrastes/indigo
An FP game engine for Scala.
Sintrastes/meriv-core
Core library for the Meriv programming language.
Sintrastes/micro-jam
Easily generate microtonal "jam tracks" for improvisation practice.
Sintrastes/obelisk
Functional reactive web and mobile applications, with batteries included.
Sintrastes/OSSRH-72747
Needed for publication to maven central.
Sintrastes/progress-category
A small library for categories admitting a notion of progress updating.
Sintrastes/pure-prolog
Simple pure prolog interpreter
Sintrastes/sintrastes
My github readme.