ilyasergey/plt-redex-fj

Stars
14
Rank 1,410,190 (Top 29 %)
Language
Racket
Created almost 12 years ago
Updated over 11 years ago

ilyasergey/plt-redex-fj

ilyasergey

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

A PLT Redex implementation of Featherweight Java

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

reachability

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

monadic-cfa

Generic implementation of different CFA families based on monadic decomposition

scilla-demo

Scilla Examples and Exercises

semantic-slicer

Slicing programs to decompose them into independent procedures

GHC-XAppFix

Extension of Glasgow Haskell Compiler to support recursive applicative bindings

scilla-benchmarks

Benchmarking suite for testing the performance of Scilla against EVM

typechecker-transformations

An implementation of the mechanical correspondence between algorithms for type checking

coq-exercises

Exercises for Coq course, based on SSReflect, Coq'Art and CPDT

GHC-XAppFix-BaseLibrary

Augmented base library for GHC for ApplicativeFix support

GHC-XAppFix-TestSuite

Tests for ApplicativeFix GHC extension

geometry-testing

Geometry Generation and Testing Framework

Gradual-Ownership

Experimental implementation of Gradual Ownership Types for Java 1.4

funind