/sintrastes

My github readme.

About me

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: nbedell@tulane.edu
  • ✏️ 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.

What's in a name?

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

My Projects

Programming Languages / DSLs

  • 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.

UI/UX Design

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

Music

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

Linguistics / NLP

  • 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.

GIS

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

TAK

  • 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.

Utilities

  • 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.

Misc

  • 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.

Some fun stats