acieroid

mpv

🎥 Command line video player

lila

♞ lichess.org: the forever free, adless and open source chess server ♞

chromedp

A faster, simpler way to drive browsers supporting the Chrome DevTools Protocol.

pfff

Tools for code analysis, visualizations, or style-preserving source transformation.

flix

The Flix Programming Language

stumpwm

The Stump Window Manager

twiggy

Twiggy🌱 is a code size profiler

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

coq-chick-blog

🐣 A blog engine written and proven in Coq

pdf-continuous-scroll-mode.el

A pdf-tools extension that provides continuous scrolling functionality

lila-ws

Lichess' websocket server

smoosh

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

LambdaS5

Semantics for ES5

wasm-binary-security

sturdy

Sturdy is a library for developing sound static analyses in Haskell.

Cumulus

A friendly and minimalist link sharing website

wassail

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

wasmati

A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code

wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs

ocaml-xlib

OCaml bindings for the Xlib library.

maf

Static Analysis Framework for Modular Analyses

CamBench

Repository for the paper: CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite

xbattbar

Xbattbar shows the current (laptop) battery status in the X window environment

EveryBoard

EveryBoard is an online platform to play abstract strategy games

newsome

It's gonna be awesom!

ScrapyScrap

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

multi-game-project

aac

AAC adventures in Scheme

maf-hs

b.sh

static blog generator