index
NameDescriptionOwnerIdleLinks
CocoaSharpC# stubs for Cocoa and CocoaTouch Gitolite user10 monthssummarylogtree
DNSwift.NET-compatible extensions for Swift types Gitolite user10 monthssummarylogtree
PRDNNCode from PLDI '21 paper "Provable Repair of Deep Neural Networks." Gitolite user10 monthssummarylogtree
RollingWavReaderA C#/.NET WAV format reader that supports reading from a stream that's being upd...Gitolite user10 monthssummarylogtree
SharpSwiftC# to Swift syntax converter. Just to play around :) Gitolite user10 monthssummarylogtree
SyReNNSymbolic Representations for Neural Networks Gitolite user10 monthssummarylogtree
UniversalsLanguage-specific implementations of universal libraries in .NET and Swift Gitolite user10 monthssummarylogtree
WAVRecorderA cross-platform Xamarin WAV recording library Gitolite user10 monthssummarylogtree
antivolDisables the annoying Windows 8/10 volume/media OSD Gitolite user10 monthssummarylogtree
asknotAsk not what Mozilla can do for you but what you can do for Mozilla. Gitolite user10 monthssummarylogtree
asm-yaeplAn educational programming language combining the simplicity of assembler with t...Gitolite user10 monthssummarylogtree
audrey3A lightweight and extensible feed reader written in Racket. Gitolite user9 monthssummarylogtree
bazel-latexBazel rules for building LaTeX documents with TeX Live. Gitolite user10 monthssummarylogtree
bazel_pythonSupport for reproducibly running Python scripts using Bazel. Gitolite user10 monthssummarylogtree
classfinderClass sharing website for students in Lynbrook High School Gitolite user10 monthssummarylogtree
combinationsUnnamed repository; edit this file 'description' to name the repository. Gitolite user8 weekssummarylogtree
csedIntro to CS lessons targeted for middle schoolers Gitolite user10 monthssummarylogtree
cvc5CVC4 is an efficient open-source automatic theorem prover for satisfiability mod...Gitolite user10 monthssummarylogtree
docs-plusA library for rich Google Docs extensions that can integrate with its editor Gitolite user10 monthssummarylogtree
docs-vimUse Google Docs like vim. Sorta. Gitolite user10 monthssummarylogtree
ecrit-coreHigh-performance editor with a custom writing surface, a la Google Kix Gitolite user10 monthssummarylogtree
ecrit-presentationA presentation layer for Ecrit Gitolite user10 monthssummarylogtree
html5sortableLightweight jQuery plugin to create sortable lists and grids using native HTML5 ...Gitolite user10 monthssummarylogtree
id.webmaker.orgOAuth 2.0 identity provider for Webmaker Gitolite user10 monthssummarylogtree
jfnPlaying around with Javascript functions Gitolite user10 monthssummarylogtree
lhs-campaignLHSCampaign - Taking the pain out of campaign since 2014 Gitolite user10 monthssummarylogtree
matplotlibmatplotlib: plotting with Python Gitolite user10 monthssummarylogtree
mfcc-dotnetAn FSharp/.NET library for MFCC audio feature extraction Gitolite user10 monthssummarylogtree
nimgExtremely lossy image compression with neural networks Gitolite user10 monthssummarylogtree
piosUnnamed repository; edit this file 'description' to name the repository. Gitolite user35 min.summarylogtree
scribeAn automatic meeting transcription app Gitolite user10 monthssummarylogtree
setterAn online midset calculator, seeing as that's hip now :) Can calculate midsets, ...Gitolite user10 monthssummarylogtree
sifterAn analogy-maker based on triplet structures Gitolite user10 monthssummarylogtree
speechlessA time-to-speak counter for Google Docs Gitolite user10 monthssummarylogtree
upba small protobuf implementation in C Gitolite user10 monthssummarylogtree
wedgeA drop-dead simple lightbox. Gitolite user10 monthssummarylogtree
wtdwhat-to-do, a simple calendaring system Gitolite user10 monthssummarylogtree
yaeplYet Another Educational Programming Language (or two!) Gitolite user10 monthssummarylogtree
yaepl-appElectron app for YAEPL and Javascript. Develop '17 Gitolite user10 monthssummarylogtree