Pinned Repositories
adventofcode2021
My solution to Advent of Code 2021
adventofcode2022
badiwebsitecov19
Informasi mengenai penyebaran covid di Bandung
bank-soal
Bank Soal
ctfp-solutions
My solutions to the challenges from Category Theory for Programmers
discord-bot-haha-funny
Faris999
godot-export-test
indonesian-mo-formalization
Formalization of Indonesian Mathematical Olympiad problems using Lean / Formalisasi soal-soal OSN/KSN Matematika menggunakan Lean
memorize-quran-desktop
The desktop version from the Memorize Quran app.
Faris999's Repositories
Faris999/indonesian-mo-formalization
Formalization of Indonesian Mathematical Olympiad problems using Lean / Formalisasi soal-soal OSN/KSN Matematika menggunakan Lean
Faris999/bank-soal
Bank Soal
Faris999/adventofcode2022
Faris999/Faris999
Faris999/godot-export-test
Faris999/memorize-quran-desktop
The desktop version from the Memorize Quran app.
Faris999/adventofcode2021
My solution to Advent of Code 2021
Faris999/badiwebsitecov19
Informasi mengenai penyebaran covid di Bandung
Faris999/ctfp-solutions
My solutions to the challenges from Category Theory for Programmers
Faris999/discord-bot-haha-funny
Faris999/it-about-umm-what-is
Faris999/kataBaku
A site for people to study kata baku (correct words in Indonesian).
Faris999/latsol-number-systems
Faris999/learn-haskell-blog-generator
Learning Haskell by building a simple static blog generator, a book about Haskell.
Faris999/memorize-quran
Faris999/mobile-typing-test
Faris999/mpstemmer
Stemmer for Bahasa Indonesia
Faris999/orbit-host
Workaround for embedding Orbit
Faris999/p5.js-code
Faris999/prayer-times
Faris999/Presences
🛒 Storage for Presences located at our Presence Store.
Faris999/problem-generator
Faris999/problemsolving
Faris999/probs-generator
Faris999/rust-snake
Faris999/shapes
A graphical shape based esolang
Faris999/starrail-algorithm
Faris999/tubes-os
Faris999/waste-scanner