Kraks/MyPLZoo

Stars
13
Rank 1,512,713 (Top 30 %)
Language
Racket
Created over 7 years ago
Updated over 1 year ago

Kraks/MyPLZoo

Kraks

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

Implementations of various toy programming languages

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.

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)

dataflow-analysis

Racket Implementation of Data-flow Analyses

Leetcode

My {Racket, Python} solutions for Leetcode algorithm problems

qdict

a simple network dictionary.

abscomp

An Implementation of Abstract Compilation

ad

the-little-typer