iitalics/mactypes

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Racket
Created almost 7 years ago
Updated over 6 years ago

iitalics/mactypes

iitalics

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

Variation on types-as-macros to explore different approaches

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

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