Pinned Repositories
djinn
An theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.
fake-irc-server
Fake IRC Server written in Rust.
gtl
Grab Tokilearning
haus
Ha! URL Shortener
jombloforth
Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.
logic-games
a collection of logic games, hopefully
matematikaadit.github.io
matematikaadit's blog
nix-local-packages
Nix Local Packages Repository
notisen
Notisen is a Rust rewrite of highmon.pl script for weechat irc client. Proudly with less feature and less flexibility.
rust-travis-eureka
An experiment on using Travis CI to build Rust project
matematikaadit's Repositories
matematikaadit/jombloforth
Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.
matematikaadit/matematikaadit.github.io
matematikaadit's blog
matematikaadit/notisen
Notisen is a Rust rewrite of highmon.pl script for weechat irc client. Proudly with less feature and less flexibility.
matematikaadit/rust-travis-eureka
An experiment on using Travis CI to build Rust project
matematikaadit/fake-irc-server
Fake IRC Server written in Rust.
matematikaadit/haus
Ha! URL Shortener
matematikaadit/boggle-solver
Boggle game solver written in Rust
matematikaadit/brainf
An interpreter for brainfuck programming language.
matematikaadit/fd
A simple, fast and user-friendly alternative to find.
matematikaadit/pantau-wifi-rumah
Aplikasi web untuk pantau device yang tersambung ke Wifi rumah anda (untuk saat ini hanya support Telkom Speedy/TP-Link)
matematikaadit/prime-xor
If you take the XOR of x and y value of a pixel coordinate, then color the pixel black if the result is prime, you will get this pattern.
matematikaadit/putar
Convert weechatlog text file into html
matematikaadit/rust-highlighter
Highlight rust source code
matematikaadit/AdminLTE
AdminLTE - Free Premium Admin control Panel Theme Based On Bootstrap 3.x
matematikaadit/Ayana
matematikaadit/brutalist-web-design
Source for Brutalist Web Design
matematikaadit/color-theme-ahungry
Bright and bold color theme for emacs
matematikaadit/dockerfiles
Collectioin of Dockerfile
matematikaadit/emacs-doom-themes
An opinionated pack of modern color-themes
matematikaadit/gutenberg
A fast static site generator in a single binary with everything built-in.
matematikaadit/html5ever
High-performance browser-grade HTML5 parser
matematikaadit/http
Host These Things Please - a basic http server for hosting a folder fast and simply
matematikaadit/kalk
A calculator/expression evaluator written in rust that supports variables and functions.
matematikaadit/racket
The Racket repository
matematikaadit/rec-jit
A Basic JIT-Compiler for a simple math recurrence relation based on https://nullprogram.com/blog/2015/03/19/
matematikaadit/rust-itertools
Extra iterator adaptors, functions and macros.
matematikaadit/tetr.js
🕹️ Tetris clone in HTML5 and JavaScript
matematikaadit/url-bot-rs
Minimal IRC URL bot in Rust
matematikaadit/website-haskell-id
Website Haskell Indonesia
matematikaadit/whi-build
Build result of website-haskell-id