Milo (@iitalics)
github

iitalics

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    81
  • Global Rank 242,014 (Top 9 %)
  • Followers 98
  • Following 23
  • Registered over 12 years ago
  • Most used languages
    Racket
         33.3 %
    C++
         19.0 %
    OCaml
         19.0 %
    Agda     14.3 %
    C
         9.5 %
    Lua
         4.8 %
  • Location 🇺🇸 United States
  • Country Total Rank 50,835
  • Country Ranking
    Agda     26
    Racket
         92
    OCaml
         283
    Lua
         3,180
    C++
         5,528

Top repositories

1

Opal

Simple and powerful programming language with type inference
C++
24
star
2

iotapass

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

rust-redex

Rust (Patina) in Redex
Racket
6
star
4

ppx_lens

OCaml preprocessor extension & small library for creating and using lenses
OCaml
5
star
5

mactypes

Variation on types-as-macros to explore different approaches
Racket
4
star
6

XY-lang

Experimental functional programming language
C++
4
star
7

AgdaSnake

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

Lua-ML

Compiler from basic ML language to Lua, in Lua
Lua
3
star
9

AgdaStuff

Agda Proofs and Experiments
Agda
3
star
10

ppx_cps

Small OCaml extension (PPX) for rewriting into CPS style
OCaml
3
star
11

xy-lang-bootstrap

XY Compiler to C written in XY
C
2
star
12

-lang-musiclibrary

Declare (using s-expressions) and automatically populate a music library
Racket
2
star
13

quality

Finally a quality programming language
OCaml
2
star
14

type-inference-agda

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

Scheme-Interpreter-C

Self explanatory
C
1
star
16

e2d

2D Game Engine for Racket
Racket
1
star
17

diagonal

a game i'm working on
OCaml
1
star
18

vdash

similar to Turnstile
Racket
1
star
19

protobuf-racket

Implementation of Google's Protocol Buffers (proto3) for Racket
Racket
1
star
20

patches

Header for working with patches
C++
1
star
21

Jupiter

Experimental language with type inference, overloading and symbol identifiers
C++
1
star