Discover iitalics/type-inference-agda Open Source project

Stars
2
Language Agda
Created about 5 years ago
Updated about 5 years ago

iitalics

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

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

Opal

Simple and powerful programming language with type inference

C++

iotapass

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

Racket

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

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/type-inference-agda

iitalics

Reviews

Repository Details

More Repositories