Hi, my name is Gil Mizrahi. I am a software developer specializing in typed functional languages. I enjoy writing useful, real-world software, in functional style using functional languages.
I like to work on compilers, games, concurrent and network applications, databases, websites, tools to increase programmers' productivity, build systems and utilities, and more.
I also enjoy teaching and helping others and occasionally write about my experiences building software and tutorials for programming related content, especially functional programming.
Some of my notable open-source projects are:
Nyx-game is a bullet-hell shoot-'em-up game written in Haskell using sdl2.
Logi is a logic programming language inspired by datalog.
bulletin-app is a bulletin board website written in Haskell.
msg is a chat server and a web client written in Haskell and PureScript respectively.
x86-debug is an emulator/VM/debugger for a small subset of x86.
Some of my notable articles and tutorials:
Reading Simple Haskell is a guide and reference to Haskell basics.
Writing Simple Haskell builds on top of Reading Simple Haskell and shows how to build a simple application in Haskell.
Haskell Study Plan is an opinionated list of resources for learning Haskell.
Purely Functional Games describes my experience building a game in Haskell.
Building a Bulletin Board Using Scotty and Friends is a tutorial for the scotty web framework.
Giml's type inference engine is a tutorial on unification-based constraint solving as implemented in Giml.