There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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.idr-pure-prolog
Embeded Prolog DSL written in Idris. Based on github.com/kfl/pure-prolog.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.bli-prolog
Statically typed logic programming language designed for bedelibry.kinetix
A small DSL in Kotlin for incremental computation, inspired by the incremental library for OCaml.Iodine
Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.STLK
Extensible simply typed lambda calculus interpreter in Kotlin using object algebras.buildable-kt
A small library for deriving a generic buildable implementation for Kotlin data classes.MapAlgebra.jl
High-level declarative GIS processing library for Julia.xen-toolbox
A toolbox for algorithmic composition and livecoding xenharmonic music in Haskell.sintrastes.github.io
hafly-web-repl
Reflex REPL for the hafly language.FlixRP
Functional Reactive Programming in the Flix programming language.monad-tree
Monad instances for a rose-tree-like data structure used for nondeterministic computations.atak-flix-dev
Experiments with building an ATAK plugin with the Flix programming language (:Compose--
Minimalistic declarative UI engine in Kotlin built on top of flow. Loosely based on fudgets.STLS
Simply typed lambda calculus interpreter in Swift.Love Open Source and this site? Check out how you can help us