Kraks/dataflow-analysis

Stars
1
Language
Racket
Created about 8 years ago
Updated almost 4 years ago

Kraks/dataflow-analysis

Kraks

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

Racket Implementation of Data-flow Analyses

sai

Staged Abstract Interpreters

diamond-lang

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

2048.py

Text-based 2048 in Python.

MyPLZoo

Implementations of various toy programming languages

quantum-compiler

Quantum circuits compiler with staging and continuations

SAT.rkt

A simple SAT solver based on DPLL written in Racket.

verifyo

Experiments with writing relational verifier/synthesizer in miniKanren.

2048.rkt

A text-based 2048 game in Racket.

lisp.js

A tiny lisp interpreter in JavaScript.

contract-for-contract

playground

Verify-Contracts-for-Dynamic-Lang

the-little-schemer

Scheme code from the book The Little Schemer.

omega

A Scala Implementation of the Omega Test

RefuncAAM

Artifact of Refunctionalization of Abstract Abstract Machines (ICFP '18)

Leetcode

My {Racket, Python} solutions for Leetcode algorithm problems

qdict

a simple network dictionary.

abscomp

An Implementation of Abstract Compilation

ad

the-little-typer