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/idr-pure-prolog
Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.
Sintrastes/xen-toolbox
A toolbox for algorithmic composition and livecoding xenharmonic music in Haskell.
Sintrastes/Apachenator
Sorry XAMPP, imma let you finish, but Apachenator is the best Apache front end of all time!
Sintrastes/BeautiFTP
CSCI 355 group project
Sintrastes/bli-app-android
Android interface for the bedelibry server.
Sintrastes/bli-server
Server instances for the bedelibry project.
Sintrastes/bli-tool
Command line interface to the bedelibry server
Sintrastes/BliCCG
A CCG parser library written in Haskell with a CYK parsing algorithm for use in Bedelibry.
Sintrastes/dg
A programming language running on CPython VM.
Sintrastes/dream-python
Dreams.
Sintrastes/hypermark
Markdown for Humans.
Sintrastes/hypermark3
Sintrastes/kotlin-xml-builder
A lightweight type safe builder to build xml documents in Kotlin
Sintrastes/LynCrypt
A Haskell library and executable for a Chinese remainder theorem based theshold secret sharing scheme.
Sintrastes/magpy
MagPy
Sintrastes/OneTimeCrypt
Sintrastes/vscode-kotlin
Intelligent Kotlin support for VSCode