kraks Goto Github PK

2048.idr

Game 2048 written in a language with dependent types.

2048.py

Text-based 2048 in Python.

2048.rkt

A text-based 2048 game in Racket.

abscomp

An Implementation of Abstract Compilation

ad

aopa

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

arcanevm

A Fully Homomorphic Encryption Brainfuck virtual machine

awesome-compilers

:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes.

awesome-static-analysis

A curated list of static analysis tools, linters and code quality checkers for various programming languages

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

barliman

Prototype smart text editor

calc-compiler

tiny language compiler for class

crucible

Crucible is a library for symbolic simulation of imperative programs

cs590-dls

dataflow-analysis

Racket Implementation of Data-flow Analyses

dataviscourse15-guannanwei

CS6630 Visualization Homework

diamond-lang

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

distiller

Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

first-order-minikanren

miniKanren with a first-order representation of the search space

gists

With way too messy gist.github pages this is an attempt to organise my snippets

immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

kaleidoscope

LLVM Tutorial Project

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

leetcode

My {Racket, Python} solutions for Leetcode algorithm problems

lightsabers

beautiful & powerful code

lisp.js

A tiny lisp interpreter in JavaScript.

llaam

Low-Level Abstracting Abstract Machine

llvm

An experimental pass to eliminate overflow intrinsic instruction.

lms-koika

metagol

Metagol - an inductive logic programming system