index
NameDescriptionOwnerIdle
161-code.gitC implementations of the algorithms from my Summer 2024 class "CS 161: Design an...git repository hosting8 months
2048.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting3 months
CocoaSharp.gitC# stubs for Cocoa and CocoaTouch git repository hosting3 years
DNSwift.git.NET-compatible extensions for Swift types git repository hosting3 years
PRDNN.gitCode from PLDI '21 paper "Provable Repair of Deep Neural Networks." git repository hosting3 years
RollingWavReader.gitA C#/.NET WAV format reader that supports reading from a stream that's being upd...git repository hosting3 years
SharpSwift.gitC# to Swift syntax converter. Just to play around :) git repository hosting3 years
SyReNN.gitSymbolic Representations for Neural Networks git repository hosting3 years
Universals.gitLanguage-specific implementations of universal libraries in .NET and Swift git repository hosting3 years
WAVRecorder.gitA cross-platform Xamarin WAV recording library git repository hosting3 years
antivol.gitDisables the annoying Windows 8/10 volume/media OSD git repository hosting3 years
asknot.gitAsk not what Mozilla can do for you but what you can do for Mozilla. git repository hosting3 years
asm-yaepl.gitAn educational programming language combining the simplicity of assembler with t...git repository hosting3 years
audrey3.gitA lightweight and extensible feed reader written in Racket. git repository hosting3 years
b4c.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting10 months
bazel-latex.gitBazel rules for building LaTeX documents with TeX Live. git repository hosting3 years
bazel_python.gitSupport for reproducibly running Python scripts using Bazel. git repository hosting3 years
bl808-blink.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting
blaster.gitBlaster is a non-optimizing, eager-encoding SMT solver for QF_BV git repository hosting4 days
bookie.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting10 months
c-bench.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting8 months
c-safety.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting7 months
cacti.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting
classfinder.gitClass sharing website for students in Lynbrook High School git repository hosting3 years
combinations.gitC implementations of algorithms from Knuth's TAOCP "Generating All Combinations"...git repository hosting3 years
cs140e-jazelle.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting
csed.gitIntro to CS lessons targeted for middle schoolers git repository hosting3 years
cvc5.gitCVC4 is an efficient open-source automatic theorem prover for satisfiability mod...git repository hosting3 years
dietc.gita chibicc backend that desugars C git repository hosting8 days
docs-plus.gitA library for rich Google Docs extensions that can integrate with its editor git repository hosting3 years
docs-vim.gitUse Google Docs like vim. Sorta. git repository hosting3 years
dprof.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting4 days
earlpy.gitEarley parser generator library designed for use in Python code git repository hosting24 months
ecrit-core.gitHigh-performance editor with a custom writing surface, a la Google Kix git repository hosting3 years
ecrit-presentation.gitA presentation layer for Ecrit git repository hosting3 years
gamma.gitSelf-hosting C preprocessor enabling simple, ergonomic templated data structures...git repository hosting9 months
html5sortable.gitLightweight jQuery plugin to create sortable lists and grids using native HTML5 ...git repository hosting3 years
id.webmaker.org.gitOAuth 2.0 identity provider for Webmaker git repository hosting3 years
jfn.gitPlaying around with Javascript functions git repository hosting3 years
lhs-campaign.gitLHSCampaign - Taking the pain out of campaign since 2014 git repository hosting3 years
libbreakpoint.gitProgrammatic breakpoints for C (and C++, etc.) git repository hosting8 months
libdietc.gitHelper libraries for writing dietc passes git repository hosting10 months
libimc.gitOptimized implementation model checking library for Linux git repository hosting22 months
mac.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting46 hours
magic-buddy.gitA buddy allocator with zero metadata overhead git repository hosting23 months
matplotlib.gitmatplotlib: plotting with Python git repository hosting3 years
mfcc-dotnet.gitAn FSharp/.NET library for MFCC audio feature extraction git repository hosting3 years
nimg.gitExtremely lossy image compression with neural networks git repository hosting3 years
pios.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting3 years
prp.gitUnnamed repository; edit this file 'description' to name the repository. git repository hosting9 months
generated by cgit on debian on lair
colors from GNOME tango dark and Molokai
contact matthew@masot.net with questions or feedback