Aleksey Kliger (λgeek)

@lambdageek

I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.

@Microsoft Boston, MA lambdageek.dev On GitHub since November 2010

Published Tools

Total Stars

Weekly Downloads

194

GitHub Followers

153

Public Repos

Published Tools

1 MCP Serveracross 1 category

lambdageek

a Model Context Protocol for the dunnet text adventure game inside Emacs

MCP Serveruncategorised

11 dir