iitalics/AgdaSnake

Stars
3
Rank 3,949,427 (Top 79 %)
Language Agda
Created over 5 years ago
Updated over 5 years ago

iitalics/AgdaSnake

iitalics

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

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

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

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