Discover iitalics/iotapass Open Source project by Milo (@iitalics)

Stars
10
Rank 1,799,994 (Top 36 %)
Language
Racket
Created over 5 years ago
Updated over 5 years ago

iitalics

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

Opal

Simple and powerful programming language with type inference

C++

rust-redex

Rust (Patina) in Redex

Racket

ppx_lens

OCaml preprocessor extension & small library for creating and using lenses

OCaml

mactypes

Variation on types-as-macros to explore different approaches

Racket

XY-lang

Experimental functional programming language

C++

AgdaSnake

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

Agda

Lua-ML

Compiler from basic ML language to Lua, in Lua

Lua

AgdaStuff

Agda Proofs and Experiments

Agda

ppx_cps

Small OCaml extension (PPX) for rewriting into CPS style

OCaml

xy-lang-bootstrap

XY Compiler to C written in XY

-lang-musiclibrary

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

Racket

quality

Finally a quality programming language

OCaml

type-inference-agda

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

Agda

Scheme-Interpreter-C

Self explanatory

e2d

2D Game Engine for Racket

Racket

diagonal

a game i'm working on

OCaml

vdash

similar to Turnstile

Racket

protobuf-racket

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

Racket

patches

Header for working with patches

C++

Jupiter

Experimental language with type inference, overloading and symbol identifiers

C++

iitalics/iotapass

iitalics

Reviews

Repository Details

More Repositories