dkxxxl Goto Github PK

purescript

A small strongly typed language that compiles to Javascript

pwebbug

pysonar2

the most advanced static analyzer for Python

pysonar2-1

redstone

A redstone circuit is a structure that activates or controls mechanisms.

refinements

Experiments in formalizing refinement type systems in Coq

regexp.py

Regular Expression in Python

resourceful.purs

A resource manager compiled by Purescript on node.js

resume

PDF Version:

rustprimer

The Rust primer for beginners. We need native English speaker to translate it into English.

schmidty

Subtyping with sum type + Typed Scheme to LLVM. An exercise in Haskell.

simple-resume-cv

Template for a simple resume or curriculum vitae (CV), in XeLaTeX.

software-foundations

Mirror of “Software Foundations”, by Benjamin Pierce et al.

software-foundations-solutions

softwarefoundations-afterch15

Code Exercises after Ch15, from "Software Foundations"

softwarefoundations-beforech15

Code Exercises before Ch15, from "Software Foundations"

tutorial-popl20

unittest-gen

CSCA48; CSCA08. No documentation. I expect you can't use it.

utlcwse

Many trivial languages interpreters. A Practice Area to verify them. Thanks to Software Foundations.

vemeschc

Semi-Verified Emesch Compiler, in Coq, in develop

vincenttam.github.io

My Octopress Blog

vschmidty

Semi-Verified Schmidty Interpreter. Soundness of Type system is proved. Trying to make it run on JS.

webbug

A web crawler. An exercise on monad.

webbug.backup

a web crawler.

yscheme

a compiler from Scheme into X64