gem-hunter
Language: Haskell
A functional programming language for the modern era
license: agpl
What's working now:
evaluation
type checking (for Pi and Sigma types)
What I'm working on right now:
Right now this "language" is just a toy, and I'll be happy if the only thing that happens from it is I get a good understanding of dependent types and other advanced functional programming concepts. However I do have an ambition for it one day to be a language uniquely suited for game development, which I find very fun but I don't like that I usually have to do it in boring languages like c#. I also would like to write a rust->zoda transpiler one day.