iitalics
Milo Turner. '21 Northeastern CS graduate. Boston MA. Systems programming in Rust by day, language-oriented programming in Racket by night.
@starryinternetSomerville, MA
Pinned Repositories
blockfish
An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable of surpassing top players.
blueprint
A tetris board-editing tool for practicing, sharing setups, analyzing situations, and more.
iotapass
Reimplementation of Racket nanopass, with emphasis on cleaner code, better errors, modern Racket codebase
mactypes
Variation on types-as-macros to explore different approaches
Opal
Simple and powerful programming language with type inference
ppx_lens
OCaml preprocessor extension & small library for creating and using lenses
rust-redex
Rust (Patina) in Redex
nanocaml
Nanopass for OCaml
cur
Powerful meta-programming for powerful types.
macrotypes
iitalics's Repositories
iitalics/iotapass
Reimplementation of Racket nanopass, with emphasis on cleaner code, better errors, modern Racket codebase
iitalics/ppx_lens
OCaml preprocessor extension & small library for creating and using lenses
iitalics/AgdaSnake
Compiler implementation in Agda, inspired by Benjamin Lerner's slithery compilers course
iitalics/AgdaStuff
Agda Proofs and Experiments
iitalics/ppx_cps
Small OCaml extension (PPX) for rewriting into CPS style
iitalics/-lang-musiclibrary
Declare (using s-expressions) and automatically populate a music library
iitalics/type-inference-agda
agda formalization of "A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference" (ICFP 2019)
iitalics/diagonal
a game i'm working on
iitalics/themes
A megapack of themes for GNU Emacs.
iitalics/advent-2019
iitalics/advent-2020
now with 20-20 vision
iitalics/agda-stdlib
The Agda standard library
iitalics/ax
WIP layout engine and reactive framework
iitalics/bdf
BDF font tools
iitalics/blog
Latest blog iteration as of 2019
iitalics/cur
Powerful meta-programming for powerful types.
iitalics/dotfiles
im doing the thing im making my own dotfiles repo
iitalics/hail
Scalable genomic data analysis.
iitalics/lablgtk
Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git
iitalics/labs
This is a collection of tutorials for learning how to use Docker with various tools. Contributions welcome.
iitalics/lsp-mode
Emacs client/library for the Language Server Protocol
iitalics/Personal-homepage
Repository for my personal homepage
iitalics/protobuf
Protocol Buffers - Google's data interchange format
iitalics/racket
The Racket repository
iitalics/resume-2020
2020 Edition of Milo Overengineering his CV
iitalics/rustbus
Dbus transport in pure rust
iitalics/rustic
Rust development environment for Emacs
iitalics/tbp-spec
Specification for the Tetris Bot Protocol
iitalics/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
iitalics/toml-test
A language agnostic test suite for TOML parsers.