Milo (iitalics)

iitalics

Geek Repo

Company:@starryinternet

Location:Somerville, MA

Github PK Tool:Github PK Tool

Milo's repositories

iotapass

Reimplementation of Racket nanopass, with emphasis on cleaner code, better errors, modern Racket codebase

ppx_lens

OCaml preprocessor extension & small library for creating and using lenses

AgdaSnake

Compiler implementation in Agda, inspired by Benjamin Lerner's slithery compilers course

Language:AgdaStargazers:3Issues:4Issues:0

AgdaStuff

Agda Proofs and Experiments

Language:AgdaStargazers:3Issues:4Issues:0

ppx_cps

Small OCaml extension (PPX) for rewriting into CPS style

Language:OCamlStargazers:3Issues:3Issues:0

-lang-musiclibrary

Declare (using s-expressions) and automatically populate a music library

Language:RacketStargazers:2Issues:3Issues:0

type-inference-agda

agda formalization of "A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference" (ICFP 2019)

Language:AgdaStargazers:2Issues:3Issues:0

diagonal

a game i'm working on

Language:OCamlStargazers:1Issues:3Issues:0

themes

A megapack of themes for GNU Emacs.

Language:Emacs LispLicense:MITStargazers:1Issues:1Issues:0
Language:RacketStargazers:0Issues:3Issues:0

advent-2020

now with 20-20 vision

Language:CStargazers:0Issues:3Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

ax

WIP layout engine and reactive framework

Language:CStargazers:0Issues:3Issues:12

bdf

BDF font tools

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

blog

Latest blog iteration as of 2019

Language:RacketStargazers:0Issues:3Issues:0

cur

Powerful meta-programming for powerful types.

Language:RacketLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

dotfiles

im doing the thing im making my own dotfiles repo

Language:Emacs LispStargazers:0Issues:3Issues:0

hail

Scalable genomic data analysis.

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

lablgtk

Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

labs

This is a collection of tutorials for learning how to use Docker with various tools. Contributions welcome.

Language:PHPLicense:Apache-2.0Stargazers:0Issues:2Issues:0

lsp-mode

Emacs client/library for the Language Server Protocol

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:1Issues:0

Personal-homepage

Repository for my personal homepage

Language:RacketStargazers:0Issues:3Issues:0

protobuf

Protocol Buffers - Google's data interchange format

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

racket

The Racket repository

Language:RacketStargazers:0Issues:3Issues:0

resume-2020

2020 Edition of Milo Overengineering his CV

Language:RacketStargazers:0Issues:3Issues:0

rustbus

Dbus transport in pure rust

License:MITStargazers:0Issues:0Issues:0

rustic

Rust development environment for Emacs

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:2Issues:0

tbp-spec

Specification for the Tetris Bot Protocol

Stargazers:0Issues:2Issues:0

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Language:RustLicense:MITStargazers:0Issues:2Issues:0

toml-test

A language agnostic test suite for TOML parsers.

Language:GoLicense:MITStargazers:0Issues:1Issues:0