Kraks

Postdoc (PL/FM/Compilers); Incoming Asst Prof at Tufts

INRIA/ENS; Tufts

Pinned Repositories

GenSym
A high-performance, parallel, compilation-based symbolic execution engine
Language:Java124 7 14
2048.py
Text-based 2048 in Python.
Language:Python23 4 117
diamond-lang
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
Language:Scala43 9 31
MyPLZoo
Implementations of various toy programming languages
Language:Racket12 4 02
playground
my playground
Language:Coq3 2 00
quantum-compiler
Quantum circuits compiler with staging and continuations
Language:Scala15 4 00
sai
Staged Abstract Interpreters
Language:Scala65 12 88
SAT.rkt
A simple SAT solver based on DPLL written in Racket.
Language:Racket8 3 12
verifyo
Experiments with writing relational verifier/synthesizer in miniKanren.
Language:Scheme10 5 12
lms-clean
Language:Scala54 13 1424

Kraks's Repositories

Kraks/sai
Staged Abstract Interpreters
Language:Scala65 12 88
Kraks/diamond-lang
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
Language:Scala43 9 31
Kraks/2048.py
Text-based 2048 in Python.
Language:Python23 4 117
Kraks/quantum-compiler
Quantum circuits compiler with staging and continuations
Language:Scala15 4 00
Kraks/verifyo
Experiments with writing relational verifier/synthesizer in miniKanren.
Language:Scheme10 5 12
Kraks/SAT.rkt
A simple SAT solver based on DPLL written in Racket.
Language:Racket8 3 12
Kraks/contract-for-contract
Language:Solidity5 6 00
Kraks/playground
my playground
Language:Coq3 2 00
Kraks/RefuncAAM
Artifact of Refunctionalization of Abstract Abstract Machines (ICFP '18)
Language:TeX2 5 0
Kraks/ad
Language:Racket1 3 0
Kraks/Leetcode
My {Racket, Python} solutions for Leetcode algorithm problems
Language:Python1 3 01
Kraks/the-little-typer
Language:Racket1 3 0
Kraks/arcanevm
A Fully Homomorphic Encryption Brainfuck virtual machine
Language:Python2 0
Kraks/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
1 0
Kraks/cs590-dls
Language:TeX5 0
Kraks/Distiller
Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
Language:Haskell1 0
Kraks/first-order-miniKanren
miniKanren with a first-order representation of the search space
Language:Racket1 0
Kraks/immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
Language:C++1 0
Kraks/lms-koika
Language:Scala1 0
Kraks/metagol
Metagol - an inductive logic programming system
Language:Prolog3 0
Kraks/MK2020
Language:Racket2 0
Kraks/PLGradSchools
2 0
Kraks/purduepl.github.io
A blog of Programming Languages Group @Purdue
Language:HTML1 0
Kraks/RASP
An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"
Language:Python1 0
Kraks/rslurm
Submit R code to a Slurm cluster
Language:R2 0
Kraks/scalogno
prototyping logic programming in Scala
Language:Scala2 0
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.
Language:TypeScript1 0
Kraks/symbolic-execution-papers
Recent symbolic execution papers and tools.
1 0
Kraks/virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
Language:Scala3 0
Kraks/whilelang
A small programming language created with ANTLR and Scala
Language:Scala2 0