Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers
Tufts University
Pinned Repositories
GenSym
A high-performance, parallel, compilation-based symbolic execution engine
2048.py
Text-based 2048 in Python.
diamond-lang
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
MyPLZoo
Implementations of various toy programming languages
playground
my playground
quantum-compiler
Quantum circuits compiler with staging and continuations
sai
Staged Abstract Interpreters
SAT.rkt
A simple SAT solver based on DPLL written in Racket.
verifyo
Experiments with writing relational verifier/synthesizer in miniKanren.
lms-clean
Kraks's Repositories
Kraks/sai
Staged Abstract Interpreters
Kraks/diamond-lang
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
Kraks/2048.py
Text-based 2048 in Python.
Kraks/quantum-compiler
Quantum circuits compiler with staging and continuations
Kraks/verifyo
Experiments with writing relational verifier/synthesizer in miniKanren.
Kraks/SAT.rkt
A simple SAT solver based on DPLL written in Racket.
Kraks/contract-for-contract
Kraks/llmaam
Kraks/playground
my playground
Kraks/RefuncAAM
Artifact of Refunctionalization of Abstract Abstract Machines (ICFP '18)
Kraks/Leetcode
My {Racket, Python} solutions for Leetcode algorithm problems
Kraks/scala-lang
sources for the Scala language website
Kraks/the-little-typer
Kraks/arcanevm
A Fully Homomorphic Encryption Brainfuck virtual machine
Kraks/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Kraks/cs590-dls
Kraks/Distiller
Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
Kraks/first-order-miniKanren
miniKanren with a first-order representation of the search space
Kraks/immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
Kraks/lms-koika
Kraks/metagol
Metagol - an inductive logic programming system
Kraks/MK2020
Kraks/PLGradSchools
Kraks/purduepl.github.io
A blog of Programming Languages Group @Purdue
Kraks/RASP
An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
Kraks/rslurm
Submit R code to a Slurm cluster
Kraks/scalogno
prototyping logic programming in Scala
Kraks/solc-typed-ast
A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.
Kraks/symbolic-execution-papers
Recent symbolic execution papers and tools.
Kraks/whilelang
A small programming language created with ANTLR and Scala