Discover @iitalics Open Source projects

Milo (@iitalics)

iitalics

Stars
81
Global Rank 240,777 (Top 9 %)
Followers 98
Following 23
Registered over 12 years ago
Most used languages

Racket
33.3 %

OCaml
19.0 %

C++
19.0 %

Agda 14.3 %

C
9.5 %

Lua
4.8 %
Location 🇺🇸 United States
Country Total Rank 50,835
Country Ranking

Agda 25

Racket
92

OCaml
266

Lua
2,698

C++
5,489

Opal

Simple and powerful programming language with type inference

iotapass

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

rust-redex

Rust (Patina) in Redex

ppx_lens

OCaml preprocessor extension & small library for creating and using lenses

mactypes

Variation on types-as-macros to explore different approaches

XY-lang

Experimental functional programming language

AgdaSnake

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

Lua-ML

Compiler from basic ML language to Lua, in Lua

AgdaStuff

Agda Proofs and Experiments

ppx_cps

Small OCaml extension (PPX) for rewriting into CPS style

xy-lang-bootstrap

XY Compiler to C written in XY

-lang-musiclibrary

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

quality

Finally a quality programming language

type-inference-agda

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

Scheme-Interpreter-C

Self explanatory

e2d

2D Game Engine for Racket

diagonal

a game i'm working on

vdash

similar to Turnstile

protobuf-racket

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

patches

Header for working with patches

Jupiter

Experimental language with type inference, overloading and symbol identifiers