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’m currently working on Iodine and Meriv.✏️ 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 nerding out, I like experimenting with cooking, playing video games, and exploring the outdoors.
What's in a name?
- sintrastes: "sin trastes" -- Spanish for "without frets" or fretless
Some fun stats