cvick32 Goto Github PK

attackersynthesis

Tool, Models, and Supplementary Materials for Attacker Synthesis Project

beautiful-racket

Language Building in Racket (from book)

chaos

Cryptographically secure random number generator

ck-blockexplorer

A block explorer for Cryptokernel

ck-wallet

React-native CK wallet

coleweb

test repo for local tesing of moonishteapot.github.io

conditionalhistory

Tool from 'Synthesizing History and Prophecy Variables for Symbolic Model Checking'

counterexampleclassificiation

Prototype tool for classifying counterexamples in a formal model.

cryptokernel

A modular kernel designed for implementing blockchain-based digital currencies

cvick32.github.io

fun-draw

Click around on the page to make fun designs. Press 'p' to save your canvas as an SVG.

ice-learning

inkstitch

Ink/Stitch: an Inkscape extension for machine embroidery design

mastery-with-sql

monogrammagic

Tool for typing embroidery fonts

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

ovid

Reimplementation of CondHist

pysmt

pySMT: A library for SMT formulae manipulation and solving

shapegen

Racket interactive program for making fun shapes.

snap

snapapp

Quick API app for SnapApp application

softsynth

Software Synthesizer

solc-js

Javascript bindings for the Solidity compiler

solvent

baby's first liquid type system

striking

An economic model of workers on strike.

wallet

A cryptocurrency web wallet with client-side signing

web-of-scholars

A, hopefully huge, web of PhD advisors and students

youtube-recommendations

Tracking recommended videos on YouTube