Mathnerd314's repositories

repagination

Rewrite of the old re-pagination/antipagination extension for Firefox

Language:JavaScriptLicense:MPL-2.0Stargazers:19Issues:3Issues:12

page-translator

One-click page translation for Firefox

Language:HTMLLicense:ISCStargazers:9Issues:3Issues:9

stroscot

The Stroscot Programming Language

Language:HaskellLicense:WTFPLStargazers:9Issues:4Issues:5

text-generation-webui

A Gradio web UI for Large Language Models. Supports transformers, GPTQ, llama.cpp (ggml), Llama models.

Language:PythonLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

bandwidth

Cliff's Bandwidth benchmark

Language:SwiftStargazers:0Issues:0Issues:0

cabal2nix

Generate Nix build instructions from a Cabal file

License:NOASSERTIONStargazers:0Issues:0Issues:0

chat

A simple Next.js chat app.

License:MITStargazers:0Issues:0Issues:0

clock

High-resolution clock functions: monotonic, realtime, cputime.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

CompilerJobs

A listing of compiler, language and runtime teams for people looking for jobs in this area

Stargazers:0Issues:2Issues:0

equalizer-issue-tracker

The issue tracker for Equalizer. https://play.google.com/store/apps/details?id=eu.pinpong.equalizer

Stargazers:0Issues:0Issues:0

extra

Extra Haskell functions

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

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.

License:MITStargazers:0Issues:0Issues:0

fuckfuckadblock

Filters for blocking pop-ups and anti-adblock bypass.

License:MITStargazers:0Issues:2Issues:0

gidiplus

C++ libraries for accessing nuclear data from the Generalized Nuclear Database Structure (GNDS)

Language:C++License:MITStargazers:0Issues:2Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

nixos-search

Search NixOS packages and options

Language:ElmStargazers:0Issues:2Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:1Issues:0

NomicBot

A bot to play Nomic

Language:PythonLicense:GPL-3.0Stargazers:0Issues:3Issues:0

pointfree

Maintenance of the pointfree Hackage package.

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

redux-electron-todo-example

React + Redux + Electron + Material UI + Sass + Browserify + Gulp Todo List Application example that lives in your system tray.

Language:HTMLStargazers:0Issues:2Issues:0

sdk

MEGA C++ SDK

Language:C++License:BSD-2-ClauseStargazers:0Issues:2Issues:0

supertux

SuperTux source code

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0
Language:JavaScriptStargazers:0Issues:1Issues:0

UnNetHack

NetHack fork that is in development

Language:CStargazers:0Issues:0Issues:0

unordered-containers

Efficient hashing-based container types

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

Wavelet

A quick rundown on each feature and its settings

Stargazers:0Issues:2Issues:0

Website

Source for https://rhovas.dev, a programming language for API design and enforcement.

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

WebToEpub

A simple Chrome (and Firefox) Extension that converts Web Novels (and other web pages) into an EPUB.

License:NOASSERTIONStargazers:0Issues:0Issues:0

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

License:MITStargazers:0Issues:0Issues:0