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/repagination
Rewrite of the old re-pagination/antipagination extension for Firefox
Mathnerd314/stroscot
The Stroscot Programming Language
Mathnerd314/text-generation-webui
A Gradio web UI for Large Language Models. Supports transformers, GPTQ, llama.cpp (ggml), Llama models.
Mathnerd314/bandwidth
Cliff's Bandwidth benchmark
Mathnerd314/cabal2nix
Generate Nix build instructions from a Cabal file
Mathnerd314/chat
A simple Next.js chat app.
Mathnerd314/clock
High-resolution clock functions: monotonic, realtime, cputime.
Mathnerd314/clowdr-web-app
Mathnerd314/CompilerJobs
A listing of compiler, language and runtime teams for people looking for jobs in this area
Mathnerd314/docs.buttplug.io
Mathnerd314/extra
Extra Haskell functions
Mathnerd314/freetype-opengl-experiments
A simple C++ text renderer using OpenGL, FreeType, and Harfbuzz. Supports subpixel antialiased rendering, ligatures, emojis, as well as having great performance.
Mathnerd314/fuckfuckadblock
Filters for blocking pop-ups and anti-adblock bypass.
Mathnerd314/gidiplus
C++ libraries for accessing nuclear data from the Generalized Nuclear Database Structure (GNDS)
Mathnerd314/Idris-dev
A Dependently Typed Functional Programming Language
Mathnerd314/mystmd
Command line tools for working with MyST Markdown.
Mathnerd314/nixos-search
Search NixOS packages and options
Mathnerd314/nixpkgs
Nix Packages collection
Mathnerd314/NomicBot
A bot to play Nomic
Mathnerd314/pointfree
Maintenance of the pointfree Hackage package.
Mathnerd314/pywikibot
A Python library that interfaces with the MediaWiki API. This is a mirror from gerrit.wikimedia.org. Do not submit any patches here. See https://www.mediawiki.org/wiki/Developer_account for contributing.
Mathnerd314/react-native-css-modules
Style React Native components using CSS, PostCSS, Sass, Less or Stylus.
Mathnerd314/supertux
SuperTux source code
Mathnerd314/TwitchAdSolutions
Mathnerd314/UnNetHack
NetHack fork that is in development
Mathnerd314/unordered-containers
Efficient hashing-based container types
Mathnerd314/Wavelet
A quick rundown on each feature and its settings
Mathnerd314/Website
Source for https://rhovas.dev, a programming language for API design and enforcement.
Mathnerd314/WebToEpub
A simple Chrome (and Firefox) Extension that converts Web Novels (and other web pages) into an EPUB.
Mathnerd314/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.