mbneedham

mbneedham's Stars

• Pitmairen/selection-search

  Search extension for the chrome web browser

  Language:JavaScript18526

• kmcallister/qoppa

  Metacircular evaluator for a tiny fexpr language

  Language:Scheme454

• chocolateboy/userscripts

  Userscripts for Greasemonkey, Tampermonkey etc.

  Language:JavaScript20411

• ycaseau/CLAIRE4

  CLAIRE programming language Version 4 (2021)

  Language:Go142

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.4k80

• OSPreservProject/spin

  spin operating system

  Language:C44

• OSPreservProject/exokernel

  Language:C137

• algorithmica-org/algorithmica

  A computer science textbook

  Language:Jupyter Notebook3.3k319

• bertrand-constraint/bertrand

  The Bertrand Constraint Language

  Language:C282

• ymasory/programming-for-the-jvm

  Code for book Programming for the Java Virtual Machine by Joshua Engel

  Language:Java2322

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k397

• wikiwho/WhoColor

  Contains the WhoColor server and client code.

  Language:JavaScript375

• michaelt/martin-lof

  papers of Per Martin Löf

  Language:TeX74664

• sqlite/sqlite

  Official Git mirror of the SQLite source tree

  Language:C6.4k977

• LuaJIT/LuaJIT

  Mirror of the LuaJIT git repository

  Language:C4.7k964

• ptarau/iProlog

  Java-based lightweight Prolog virtual machine

  Language:Java3213

• a1studmuffin/SpaceshipGenerator

  A Blender script to procedurally generate 3D spaceships

  Language:Python7.7k437

• bbolli/tumblr-utils

  Utilities for dealing with Tumblr blogs, Tumblr backup

  Language:Python666124

• ytdl-org/youtube-dl

  Command-line program to download videos from YouTube.com and other video sites

  Language:Python132k10k

• mixu/distsysbook

  The book Distributed systems: for fun and profit

  Language:HTML2.5k248

• iskandr/ocaml_llvm

  Toy compiler for OCaml Meetup

  Language:OCaml682

• aistrate/Articles

  Various interesting articles, in PDF or PS form

  22437

• seL4/seL4

  The seL4 microkernel

  Language:C4.7k664

• chrisparnin/pm

  Prospective memory notes

  Language:JavaScript282

• Xeroday/Spotify-Ad-Blocker

  EZBlocker - A Spotify Ad Blocker for Windows

  Language:C#1.8k193

• olsh/Feedly-Notifier

  Google Chrome, Firefox, Opera and Microsoft Edge extension for reading news from RSS aggregator Feedly

  Language:JavaScript26738

• cmicali/rtl8192cu_beaglebone

  Driver for the Realtek RTL8188/RTL8192 network adaptors patched to build on Linux 3.8

  Language:C1410

• theopolis/tpm-i2c-atmel

  Linux Kernel Driver for Atmel's AT97SC3204T I2C TPM (for Beaglebone)

  Language:C173

• mirnhoj/video-element-playbackrate-setter

  a user script that can be used with greasemonkey (firefox) or tampermonkey (chrome) to add hotkeys that will increase/decrease playback rate for video elements.

  Language:JavaScript73

• scheme/scsh

  A Unix shell embedded in scheme

  Language:Scheme38435