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/black
Kenichi Asai's reflective programming language Black
unshorn/probability-monad
unshorn/ShareJS
Collaborative editing in any app
unshorn/Anathema
.NET instrumentation framework
unshorn/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
unshorn/BBChop
bisection algorithm which works on intermittent bugs
unshorn/cKanren
Constraint programming language embedded in Racket
unshorn/datadep-detector
unshorn/free-monad-java
Free Monad in Java
unshorn/free-programming-books
:books: Freely available programming books
unshorn/haskell-nix
Nix and Haskell in production
unshorn/jvm-mechanics
Presentation & Code Samples Showing Compilation & Deoptimization Behavior of HotSpot
unshorn/performance-bug-detector
An application that detects performance bugs in Java programs.
unshorn/petrol
A simple event-handling framework for ClojureScript projects.
unshorn/scheme-to-c
A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
unshorn/Serial
Light-weight, fast framework for object serialization in Java, with Android support.
unshorn/Software-Foundations-Solutions
unshorn/travioli
Travioli: A Dynamic Analysis for Detecting Data-Structure Traversals
unshorn/WALA
T.J. Watson Libraries for Analysis