Kraks/quantum-compiler

Stars
11
Rank 1,686,984 (Top 34 %)
Language
Scala
Created over 1 year ago
Updated about 1 year ago

Kraks/quantum-compiler

Kraks

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

Quantum circuits compiler with staging and continuations

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

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