Pinned Repositories
black
Kenichi Asai's reflective programming language Black
d202demo
datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
frap
Formal Reasoning About Programs
functional-programming-jargon
Jargon from the functional programming world in simple terms!
hephaestus
A framework for testing compilers' type checkers
hoare-tut
A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
martin-lof
papers of Per Martin Löf
pm
package managers visualization
unshorn's Repositories
unshorn/martin-lof
papers of Per Martin Löf
unshorn/spartan-type-theory
Spartan type theory
unshorn/abi
unshorn/Anathema
.NET instrumentation framework
unshorn/autoclave
repeatedly run programs until they break, and be ready to attach a debugger
unshorn/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
unshorn/babel-handbook
:blue_book: A guided handbook on how to use Babel and how to create plugins for Babel.
unshorn/concurrent-trees
Concurrent Radix and Suffix Trees for Java
unshorn/datafrog
A lightweight Datalog engine in Rust
unshorn/dgsh
Shell supporting pipelines to and from multiple processes
unshorn/differential-datalog
An in-memory incremental Datalog engine based on Differential Dataflow
unshorn/fourier
An Interactive Introduction to Fourier Transforms
unshorn/jAEk
This is the repository for JÄk. I created it as prototype during my masterthesis.
unshorn/janala2
a concolic testing engine for Java
unshorn/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
unshorn/kiwi-solver
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
unshorn/micro-lisp
🎄A very small Lisp programming language 😀that used to be under 200 lines of C🎄
unshorn/navex
unshorn/oplss-notes-2019
Notes and handouts from OPLSS 2019
unshorn/pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
unshorn/pradet-replication
unshorn/program-analysis-examples
Notes for CIS 700 (Fall '19) at Syracuse U.
unshorn/PyExZ3
Python Exploration with Z3
unshorn/radamsa
a general-purpose fuzzer
unshorn/rmsbolt
pony mode WIP
unshorn/safe
Scalable Analysis Framework for ECMAScript
unshorn/svg-sanitizer
A PHP SVG/XML Sanitizer
unshorn/testingsvg
unshorn/testsvg
unshorn/type-inference
Automatically exported from code.google.com/p/type-inference