acieroid

overscore

Automatic score reader -- OMR system and text-based musical notation

wassail

wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

scala-am

(Abstract) Abstract Machine Experiments using Scala

paste-py

Paste service that uses Pygments

newsome

It's gonna be awesom!

dotfiles

My configuration files

sscfa-s5

Stack Summarizing (Γ)CFA of LambdaS5

TIP

Static program analysis for TIP

acieroid.github.io

Personal web page

compiling-C-to-wasm

crafting-interpreters-in-scheme

Small implementation of the "Crafting Interpreters" book in Scheme

dagre-d3

A D3-based renderer for Dagre

dream

Tidy, feature-complete Web framework

empirical-security-wasm

flix

The Flix Programming Language

fluffy

Awesom's IRC bot

ip

m-b-'s "what's my ip" web app in Go

maf

Static Analysis Framework for Modular Analyses

mailbox-abstraction-proofs

Mechanized soundness proofs for different mailbox abstractions

ml-hash

Experiments of using hash functions (à la Java hashCode) and Gödel hashing in OCaml

multi-game-project

pycparser

:snake: Complete C99 parser in pure Python

pygments

A pygments wrapper for golang, Pygments is a syntax highlighter.

racket-concurrency

Interpreters and benchmarks for various concurrency models in Racket

salt-states

My salt states and modules

scraping-wasm

Scraping WebAssembly usage on the web

ScrapyScrap

Small library to automate github scraping and post processing repositories that fit your criterias

security-examples

semtl.github.io

Website for SE@MTL

wasm-spec

WebAssembly specification, reference interpreter, and test suite.