Kraks/sai Kraks/sai

  • Stars
    star
    63
  • Rank 474,780 (Top 10 %)
  • Language
    Scala
  • Created over 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kraks/sai
github

Kraks

Reviews

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

Repository Details

Staged Abstract Interpreters

More Repositories

1

diamond-lang

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

2048.py

Text-based 2048 in Python.
Python
22
star
3

MyPLZoo

Implementations of various toy programming languages
Racket
13
star
4

quantum-compiler

Quantum circuits compiler with staging and continuations
Scala
11
star
5

SAT.rkt

A simple SAT solver based on DPLL written in Racket.
Racket
8
star
6

verifyo

Experiments with writing relational verifier/synthesizer in miniKanren.
Scheme
5
star
7

2048.rkt

A text-based 2048 game in Racket.
Racket
5
star
8

lisp.js

A tiny lisp interpreter in JavaScript.
JavaScript
5
star
9

playground

my playground
Coq
3
star
10

Verify-Contracts-for-Dynamic-Lang

Racket
2
star
11

the-little-schemer

Scheme code from the book The Little Schemer.
Scheme
2
star
12

omega

A Scala Implementation of the Omega Test
Scala
2
star
13

RefuncAAM

Artifact of Refunctionalization of Abstract Abstract Machines (ICFP '18)
TeX
2
star
14

dataflow-analysis

Racket Implementation of Data-flow Analyses
Racket
1
star
15

Leetcode

My {Racket, Python} solutions for Leetcode algorithm problems
Python
1
star
16

qdict

a simple network dictionary.
C++
1
star
17

abscomp

An Implementation of Abstract Compilation
Racket
1
star
18

ad

Racket
1
star
19

the-little-typer

Racket
1
star