mdempsky Goto Github PK

git-list-closed

gl

A (very experimental) project to bring WebGL to Svelte

go

The Go programming language

go-github

Go library for accessing the GitHub API

go-tpm

go114-fuzz-build

gocode

An autocompletion daemon for the Go programming language

grbl

An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Arduino

huejack

Philips Hue emulator for Amazon Echo (connected home integration)

hugodocs

The source for https://gohugo.io/

libcxxrt

libopenssh

turn openssh into a library

maligned

Tool to detect Go structs that would take less memory if their fields were sorted.

mrd-lib

Repository of random elisp code

ninja

a small build system with a focus on speed

nomono

notinheap

oce

Open CASCADE Community Edition: patches/improvements/experiments contributed by users over the official Open CASCADE library.

open-match

Flexible, extensible, and scalable video game matchmaking.

openbsd-stuff

Random collection of OpenBSD stuff

oss-fuzz

OSS-Fuzz - continuous fuzzing of open source software.

piv-guides

Implementation information for using PIV in federal networks and applications

rangerdanger

Tool to detect range statements iterating over addressable arrays

sapper

The next small thing in web development, powered by Svelte

serial

smcd3g

Go packages for working with SMC SMCD3G cable modems

spring20

Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020

ssa-symops

stp

Simple Theorem Prover.

svelte

Cybernetically enhanced web apps