Pinned Repositories
atomo
atomo programming language
insane
Toy typechecker for Insanely Dependent Types
page-translator
One-click page translation for Firefox
prospector
A series of experiments from Mozilla Labs focused on analyzing, experimenting and prototyping improvements on how you search and discover content with Firefox.
repagination
Rewrite of the old re-pagination/antipagination extension for Firefox
stroscot
The Stroscot Programming Language
text-generation-webui
A Gradio web UI for Large Language Models. Supports transformers, GPTQ, llama.cpp (ggml), Llama models.
Mathnerd314's Repositories
Mathnerd314/activity-stream
A refreshed "new tab page" for Firefox
Mathnerd314/adapton-lab.rust
Adapton Lab, written in Rust.
Mathnerd314/alex
A lexical analyser generator for Haskell
Mathnerd314/atomic-site
Source code for projectatomic.io
Mathnerd314/browsix
Browsix is a Unix-like operating system for the browser.
Mathnerd314/clmystery
A command-line murder mystery
Mathnerd314/crunchyroll-html5
A fully fledged HTML5 player for Crunchyroll.
Mathnerd314/de4dot
.NET deobfuscator and unpacker.
Mathnerd314/documentation
Mathnerd314/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
Mathnerd314/hnix
Mathnerd314/IEtools
Python tools for information equilibrium models
Mathnerd314/lambda
Macro Lambda Calculus
Mathnerd314/lglaf
LG Download Mode utility and documentation
Mathnerd314/Mathzilla
Collection of Mozilla MathML add-ons
Mathnerd314/ndmitchell.github.io
http://ndmitchell.com
Mathnerd314/neil
General tools for Neil
Mathnerd314/nix
Nix, the purely functional package manager
Mathnerd314/open-in-browser
A browser extension that offers the ability to open files directly in the browser instead of downloading them.
Mathnerd314/ostree
Operating system and container binary deployment and upgrades
Mathnerd314/pandoc
Universal markup converter
Mathnerd314/redux-electron-todo-example
React + Redux + Electron + Material UI + Sass + Browserify + Gulp Todo List Application example that lives in your system tray.
Mathnerd314/sdk
MEGA C++ SDK
Mathnerd314/serial-bench
Ridiculously oversimplified serialization benchmark.
Mathnerd314/shake
Shake build system
Mathnerd314/sydneyjd.github.io
Mathnerd314/Tab-Groups
Reimplementation of Firefox Tab Groups as an add-on.
Mathnerd314/undoclosetab
Undo close tab addon for Firefox
Mathnerd314/webextension-mathml-copy
Mathnerd314/workrave
Workrave is a program that assists in the recovery and prevention of Repetitive Strain Injury (RSI). The program frequently alerts you to take micro-pauses, rest breaks and restricts you to your daily limit.