Pinned Repositories
emacs
Mirror of GNU Emacs
hcj
book
A textbook on informal homotopy type theory
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Idris-dev
A Dependently Typed Functional Programming Language
idris-linear-algebra
a Linear Algebra library for Idris
wine
negatratoron's Repositories
negatratoron/AltcoinGenerator
Easiest way to create your own cryptocurrency
negatratoron/asio
Asio C++ Library
negatratoron/bitcoin
Bitcoin Core integration/staging tree
negatratoron/chess
negatratoron/clockchain
DO NOT LOOK
negatratoron/clockchain-spec
Clockchain: a blockchain for declaring what time it is.
negatratoron/DiscordBot
negatratoron/emacs.d
negatratoron/facebook-greasemonkey
negatratoron/go
The Go programming language
negatratoron/happstack-server
An HTTP Server
negatratoron/heroine-dusk
April OneGameAMonth WIP dungeon crawl game
negatratoron/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
negatratoron/js2-mode
Improved JavaScript editing mode for GNU Emacs
negatratoron/libparam
Parameter system
negatratoron/life
Game of Life for `Together C/C++` discord group
negatratoron/lz4
Extremely Fast Compression algorithm
negatratoron/multidoge
MultiDoge is a desktop Dogecoin client, powered by dogecoinj. Ported from the MultiBit Bitcoin client.
negatratoron/namecoin.org
Namecoin.org website in Jekyll -- send PR's to master branch, then merge into gh-pages
negatratoron/RandomVariable
MatLab package for error propagation
negatratoron/rolbot
negatratoron/rolmod
negatratoron/rtags
A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
negatratoron/Sia
Blockchain-based marketplace for file storage
negatratoron/springfox
Automated JSON API documentation for API's built with Spring
negatratoron/the_silver_searcher
A code-searching tool similar to ack, but faster.
negatratoron/uWebSockets
Tiny WebSockets
negatratoron/web-mode
web template editing mode for emacs
negatratoron/wine
negatratoron/youtube-recommended-for-you-greasemonkey
Hides all "recommended for you" videos.