ilyasergey/reachability ilyasergey/reachability

  • Stars
    star
    28
  • Rank 864,930 (Top 18 %)
  • Language
    Scala
  • License
    Other
  • Created over 12 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ilyasergey/reachability
github

ilyasergey

Reviews

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

Repository Details

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

More Repositories

1

pnp

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

monadic-cfa

Generic implementation of different CFA families based on monadic decomposition
Haskell
21
star
3

plt-redex-fj

A PLT Redex implementation of Featherweight Java
Racket
14
star
4

scilla-demo

Scilla Examples and Exercises
Shell
8
star
5

semantic-slicer

Slicing programs to decompose them into independent procedures
Scala
4
star
6

GHC-XAppFix

Extension of Glasgow Haskell Compiler to support recursive applicative bindings
Haskell
3
star
7

scilla-benchmarks

Benchmarking suite for testing the performance of Scilla against EVM
Python
2
star
8

typechecker-transformations

An implementation of the mechanical correspondence between algorithms for type checking
Standard ML
2
star
9

coq-exercises

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

GHC-XAppFix-BaseLibrary

Augmented base library for GHC for ApplicativeFix support
Haskell
1
star
11

GHC-XAppFix-TestSuite

Tests for ApplicativeFix GHC extension
Haskell
1
star
12

geometry-testing

Geometry Generation and Testing Framework
Scala
1
star
13

Gradual-Ownership

Experimental implementation of Gradual Ownership Types for Java 1.4
1
star
14

funind

Coq
1
star