mister-walter Goto Github PK

0g-typeahead

A lean typeahead library

abelson

acl2

ACL2 System and Books as Maintained by the Community

acl2-docker

A Docker image for the ACL2 theorem proving system and books

acl2-utils

Some ACL2 utilities I have written. Hopefully will pull into the ACL2 repo eventually.

acl2s-docker

A Docker image for the ACL2 Sedan extension to the ACL2 theorem proving system

acl2s-package

acl2s-quicklisp-proxy-test

atom-slime

Write lisp code efficiently with Atom

backlight-daemon-rs

beets

music library manager and MusicBrainz tagger

checkup

Distributed, lock-free, self-hosted health checks and status pages

ckan

The Comprehensive Kerbal Archive Network

composer-language-server

Example project for connecting the Monaco Editor with a Xtext language server

cross_reference

Cross referencing for Google Docs

cura

Read this, it's important! If you are reading this, then you are looking at the development version of Cura. If you just want to use Cura, take a look at the following location:

d3-table

doctrine

JSDoc parser

dronk

ed25519

Portable C implementation of Ed25519, a high-speed high-security public-key signature system.

esrap

Common Lisp packrat parser

flow-typed

A central repository for Flow library definitions

gbeets

A GMusic plugin for beets

generate-theme

Custom Wordpress + Timber theme for Generate Product Development Studio

hackathontrail

HackWPI 2018

homebrew-acl2s

A Homebrew formula for ACL2s

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

japanese-portfolio

marlin

Optimized firmware for RepRap 3D printers based on the Arduino platform.

midistep

MU230X Final Project