- Shenandoah County, VA
- sintrastes.github.io
Block or Report
Block or report Sintrastes
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
-
Compose-- Public
Minimalistic declarative UI engine in Kotlin built on top of flow. Loosely based on fudgets.
-
-
kinetix Public
A small DSL in Kotlin for incremental computation, inspired by the incremental library for OCaml.
-
-
atak-flix-dev Public
Experiments with building an ATAK plugin with the Flix programming language (:
-
FlixRP Public
Functional Reactive Programming in the Flix programming language.
-
-
hafly-web-repl Public
Reflex REPL for the hafly language.
-
hafly Public
Dynamic embeddable scripting language in Haskell.
-
Montague Public
A library for non-deterministically parsing natural language expressions into a structured form.
-
hs-nlp Public
Just some ideas from the CMU NLP course I'm taking, re-implemented in Haskell for my own understanding.
Haskell MIT License UpdatedJan 15, 2023 -
MapAlgebra.jl Public
High-level declarative GIS processing library for Julia.
-
xen-fret Public
A web app for generating SVG microtonal scale diagrams for fretted string instruments.
-
micro-jam Public
Easily generate microtonal "jam tracks" for improvisation practice.
GNU Affero General Public License v3.0 UpdatedSep 25, 2022 -
progress-category Public
A small library for categories admitting a notion of progress updating.
MIT License UpdatedAug 21, 2022 -
Iodine Public
Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.
-
-
STLK Public
Extensible simply typed lambda calculus interpreter in Kotlin using object algebras.
-
bedelibry-app Public
Reflex (web app) front-end for Bedelibry.
-
bli-prolog Public
Statically typed logic programming language designed for bedelibry.
-
-
meriv-core Public
Core library for the Meriv programming language.
Haskell GNU Affero General Public License v3.0 UpdatedMay 9, 2022 -
pure-prolog Public
Forked from kfl/pure-prologSimple pure prolog interpreter
Haskell MIT License UpdatedMay 8, 2022 -
obelisk Public
Forked from obsidiansystems/obeliskFunctional reactive web and mobile applications, with batteries included.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 7, 2022 -
indigo Public
Forked from PurpleKingdomGames/indigoAn FP game engine for Scala.
Scala MIT License UpdatedFeb 6, 2022 -
buildable-kt Public
A small library for deriving a generic buildable implementation for Kotlin data classes.
-
arrow-meta Public
Forked from arrow-kt/arrow-metaFunctional companion to Kotlin's Compiler
Kotlin Apache License 2.0 UpdatedDec 7, 2021 -
monad-tree Public
Monad instances for a rose-tree-like data structure used for nondeterministic computations.