dariusf Goto Github PK

aether

Lint, analyze, normalize, transform, sandbox, run, step through, and visualize user JavaScript, in node or the browser.

alcotest

A lightweight and colourful test framework

alpha5

archaeology

befuzzle

Grammar-based fuzzing of REST APIs via an OpenAPI spec

cameleer

A Deductive Verification Tool for OCaml Programs

choice

Choice operator in OCaml, providing a backtracking monad

codecombat

Multiplayer programming game for learning how to code.

committer

Two-phase (2PC) and three-phase (3PC) protocols implementaion in Golang

communitymodules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

congenial-telegram

coursemology.org

cs2103aug2013-w14-4j

Automatically exported from code.google.com/p/cs2103aug2013-w14-4j

csvq

Glue for manipulating CSV files in shell pipelines

dariusf.github.io

dendryte

A web app for creating mind maps

disel

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

distributed-transactions

distributed transactional key-value store

dune

A composable build system for OCaml.

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

eshellext

A minor mode which extends Eshell

etcd

Distributed reliable key-value store for the most critical data of a distributed system

exnihilo

fable

firacode

Free monospaced font with programming ligatures

flora

A toy structural editor

fuzzy-fiesta

fyp-latex-template

:pencil: FYP/ UROP LaTeX template for School of Computing

genealographer

ASP code for generating family trees.

genprintlib

general value printing within compiled programs