Pinned Repositories
compile-loader
Webpack loader to which evaluates the module at compile time
dafny-parsing
Parser combinator library for Dafny
esverify
ECMAScript verification with SMT solvers
esverify-theory
Formalism and proofs for esverify
jsfxs
Static analysis/Effect system for JavaScript
latex-examples
Minimal example documents for different LaTeX features
rde
Reactive Live Programming Environment
sweet-actors
A set of sweet.js macros to write Scala-like actors.
wahlomat-visualization
Visualization of the Wahl-o-mat
levjj's Repositories
levjj/esverify
ECMAScript verification with SMT solvers
levjj/sweet-actors
A set of sweet.js macros to write Scala-like actors.
levjj/esverify-theory
Formalism and proofs for esverify
levjj/rde
Reactive Live Programming Environment
levjj/jsfxs
Static analysis/Effect system for JavaScript
levjj/wahlomat-visualization
Visualization of the Wahl-o-mat
levjj/compile-loader
Webpack loader to which evaluates the module at compile time
levjj/dafny-parsing
Parser combinator library for Dafny
levjj/rlet
Simple FRP syntax for JavaScript
levjj/thinkcspy
How to Think Like a Computer Scientist, Interactive Edition
levjj/esverify-web
Ace-based editor for esverify
levjj/mbench
Micro-benchmark tool reporting both time and memory
levjj/consha
Minimal imperative programming language implemented in Dafny with references, concurrency and a linear type system with verified absence of data races.
levjj/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
levjj/docker-persistence
Persistence for Docker volumes with duplicity backups and recovery to Amazon S3
levjj/esverify-vim
Vim Syntastic plugin for esverify
levjj/fakeredis
fake redis for node.js
levjj/latex-to-html5
Scripts for Latex to HTML5 conversion
levjj/levbot
AI for Starcraft
levjj/LivelyKernel
This repository includes the basic modules for running the Lively runtime and development environment.
levjj/metalsmith-convert
levjj/metalsmith-pandoc
metalsmith pandoc plugin
levjj/metalsmith-phonetic-search
Include a static site search based on the contents of your published website. Fork of metalsmith-simple-search that uses phonetic matching to create the index.
levjj/react-play
simple app for learning react
levjj/react-router
A complete routing solution for React.js
levjj/reds
light-weight, insanely simple full text search module for node.js - backed by Redis
levjj/RoadRunner
levjj/robolectric
Android Unit Testing Framework
levjj/rustsweeper
Small Rust example project of a Mine finding game with a HTML UI based on yew and wasm
levjj/vimrc
My VIM config based on Vundle