Mathnerd314

Pinned Repositories

atomo
atomo programming language
Language:Haskell20
insane
Toy typechecker for Insanely Dependent Types
Language:Haskell10
page-translator
One-click page translation for Firefox
Language:HTML9 3 94
prospector
A series of experiments from Mozilla Labs focused on analyzing, experimenting and prototyping improvements on how you search and discover content with Firefox.
Language:JavaScript10
repagination
Rewrite of the old re-pagination/antipagination extension for Firefox
Language:JavaScript19 3 124
stroscot
The Stroscot Programming Language
Language:Haskell9 4 50
text-generation-webui
A Gradio web UI for Large Language Models. Supports transformers, GPTQ, llama.cpp (ggml), Llama models.
Language:Python10

Mathnerd314's Repositories

Mathnerd314/repagination
Rewrite of the old re-pagination/antipagination extension for Firefox
Language:JavaScript19 3 124
Mathnerd314/page-translator
One-click page translation for Firefox
Language:HTML9 3 94
Mathnerd314/stroscot
The Stroscot Programming Language
Language:Haskell9 4 50
Mathnerd314/text-generation-webui
A Gradio web UI for Large Language Models. Supports transformers, GPTQ, llama.cpp (ggml), Llama models.
Language:Python10
Mathnerd314/bandwidth
Cliff's Bandwidth benchmark
Language:Swift
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.
Language:Haskell
Mathnerd314/clowdr-web-app
Language:JavaScript2 0
Mathnerd314/CompilerJobs
A listing of compiler, language and runtime teams for people looking for jobs in this area
2 0
Mathnerd314/equalizer-issue-tracker
The issue tracker for Equalizer. https://play.google.com/store/apps/details?id=eu.pinpong.equalizer
Mathnerd314/extra
Extra Haskell functions
Language:Haskell
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.
1 0
Mathnerd314/gidiplus
C++ libraries for accessing nuclear data from the Generalized Nuclear Database Structure (GNDS)
Language:C++2 0
Mathnerd314/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell3 0
Mathnerd314/nixos-search
Search NixOS packages and options
Language:Elm2 0
Mathnerd314/nixpkgs
Nix Packages collection
Language:Nix1 0
Mathnerd314/NomicBot
A bot to play Nomic
Language:Python3 0
Mathnerd314/pointfree
Maintenance of the pointfree Hackage package.
Language:Haskell2 0
Mathnerd314/redux-electron-todo-example
React + Redux + Electron + Material UI + Sass + Browserify + Gulp Todo List Application example that lives in your system tray.
Language:HTML2 0
Mathnerd314/sdk
MEGA C++ SDK
Language:C++2 0
Mathnerd314/supertux
SuperTux source code
Language:C++2 0
Mathnerd314/TwitchAdSolutions
Language:JavaScript1 0
Mathnerd314/UnNetHack
NetHack fork that is in development
Language:C0 0
Mathnerd314/unordered-containers
Efficient hashing-based container types
Language:Haskell2 0
Mathnerd314/Wavelet
A quick rundown on each feature and its settings
2 0
Mathnerd314/Website
Source for https://rhovas.dev, a programming language for API design and enforcement.
Language:HTML1 0
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.