ilyasergey/monadic-cfa ilyasergey/monadic-cfa

  • Stars
    star
    21
  • Rank 1,062,739 (Top 22 %)
  • Language
    Haskell
  • License
    Other
  • Created over 12 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ilyasergey/monadic-cfa
github

ilyasergey

Reviews

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

Repository Details

Generic implementation of different CFA families based on monadic decomposition

More Repositories

1

pnp

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

reachability

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
Scala
28
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