Welcome to my github profile!

I have a wide variety of interests in sofrware development, from functional programming and type theory, formal methods, logic programming, security, GIS, and game development, to UI/UX development. So if you see something that interests you on one of my personal projects, feel free to reach out. Pull requests welcome.

• 🗨️ I use he/him pronouns.
• 📫 How to reach me: [email protected]
• ✏️ I write a blog about math and programming sometimes.
• 📚 My academic interests also include linugistics, and microtonal music theory.
• 💡 Ask me about graded categories.
• 🌳 When I'm not working on cool software projects, I like cooking, music, playing video games, and exploring the outdoors.

• sintrastes: "sin trastes" -- Spanish for "without frets" or fretless

• Hafly (WIP): A simple and flexible dynamically typed scripting langauge for embedding into Haskell projects.
• Meriv (WIP): A statically typed functional-logic language for knowledge representation.
• idr-pure-prolog: An embedded domain specific for logic programming in Idris.
• STLK: Serializable and extensible simply-typed lamda calculus EDSL-building framework in Kotlin.

• Iodine: Functional UI toolkit built on top of Jetpack Compose.

• Xen Fret: A web app for microtonal guitarists.
• Xen Toolbox: Utility library in Haskell for xenharmonic theory and composition.

• Montague: Experimental library and DSL for parsing natural language into structured from using a combination of syntactic and semantic types.
• hs-nlp: Collection of experiments implementing different forms of natural language processing in Haskell.

• MapAlgebra.jl: High-level declarative GIS processing library for Julia.

• partech-metadata-utils: Utilities for ATAK designed to develop type-safe interfaces for ATAK core's metadata API.
• atak-flix-dev: Experiment in building an ATAK plugin using the Flix programming language.

• Kinetix: A small Kotlin DSL for incremental computations.

• monad-tree: A small Haskell library for a tree monad for nondeterministic computations allowing for different evaluation strategies.

• buildable-kt: A Kotlin compiler plugin automatically generating a "partial" version of a data class, and some appropriate lenses.

• awesome

  • My personal awesome list on a variety of things I find interesting: software engineering, mathematics, urbanism.

• FlixRP

  • Implementation of a functional reactive programming framework in the Flix programming language.