index
NameDescriptionOwnerIdle
magic-buddy.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting3 days
gamma.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting4 weeks
earlpy.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting5 weeks
regeq.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting2 months
quizpy.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting4 months
teaching.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting9 months
satispipy.gitSatisfiability modulo theory with Portfolio and Incremental solving, in Python git repository hosting10 months
libdietc.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting10 months
dietc.gita chibicc backend that desugars C git repository hosting10 months
antivol.gitDisables the annoying Windows 8/10 volume/media OSD git repository hosting15 months
asknot.gitAsk not what Mozilla can do for you but what you can do for Mozilla. git repository hosting15 months
asm-yaepl.gitAn educational programming language combining the simplicity of assembler with t...git repository hosting15 months
audrey3.gitA lightweight and extensible feed reader written in Racket. git repository hosting15 months
bazel-latex.gitBazel rules for building LaTeX documents with TeX Live. git repository hosting15 months
bazel_python.gitSupport for reproducibly running Python scripts using Bazel. git repository hosting15 months
classfinder.gitClass sharing website for students in Lynbrook High School git repository hosting15 months
CocoaSharp.gitC# stubs for Cocoa and CocoaTouch git repository hosting15 months
combinations.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting15 months
csed.gitIntro to CS lessons targeted for middle schoolers git repository hosting15 months
cvc5.gitCVC4 is an efficient open-source automatic theorem prover for satisfiability mod...git repository hosting15 months
DNSwift.git.NET-compatible extensions for Swift types git repository hosting15 months
docs-plus.gitA library for rich Google Docs extensions that can integrate with its editor git repository hosting15 months
docs-vim.gitUse Google Docs like vim. Sorta. git repository hosting15 months
ecrit-core.gitHigh-performance editor with a custom writing surface, a la Google Kix git repository hosting15 months
ecrit-presentation.gitA presentation layer for Ecrit git repository hosting15 months
html5sortable.gitLightweight jQuery plugin to create sortable lists and grids using native HTML5 ...git repository hosting15 months
id.webmaker.org.gitOAuth 2.0 identity provider for Webmaker git repository hosting15 months
jfn.gitPlaying around with Javascript functions git repository hosting15 months
lhs-campaign.gitLHSCampaign - Taking the pain out of campaign since 2014 git repository hosting15 months
matplotlib.gitmatplotlib: plotting with Python git repository hosting15 months
mfcc-dotnet.gitAn FSharp/.NET library for MFCC audio feature extraction git repository hosting15 months
nimg.gitExtremely lossy image compression with neural networks git repository hosting15 months
pios.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting15 months
PRDNN.gitCode from PLDI '21 paper "Provable Repair of Deep Neural Networks." git repository hosting15 months
RollingWavReader.gitA C#/.NET WAV format reader that supports reading from a stream that's being upd...git repository hosting15 months
scribe.gitAn automatic meeting transcription app git repository hosting15 months
setter.gitAn online midset calculator, seeing as that's hip now :) Can calculate midsets, ...git repository hosting15 months
SharpSwift.gitC# to Swift syntax converter. Just to play around :) git repository hosting15 months
sifter.gitAn analogy-maker based on triplet structures git repository hosting15 months
speechless.gitA time-to-speak counter for Google Docs git repository hosting15 months
SyReNN.gitSymbolic Representations for Neural Networks git repository hosting15 months
Universals.gitLanguage-specific implementations of universal libraries in .NET and Swift git repository hosting15 months
upb.gita small protobuf implementation in C git repository hosting15 months
WAVRecorder.gitA cross-platform Xamarin WAV recording library git repository hosting15 months
wedge.gitA drop-dead simple lightbox. git repository hosting15 months
wtd.gitwhat-to-do, a simple calendaring system git repository hosting15 months
xprint.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting15 months
yaepl.gitYet Another Educational Programming Language (or two!) git repository hosting15 months
yaepl-app.gitElectron app for YAEPL and Javascript. Develop '17 git repository hosting15 months
z3fc.gitA simple proof assistant, thought of as a front-end to SMT solvers git repository hosting15 months
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback