Faris's repositories
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.
adventofcode2021
My solution to Advent of Code 2021
badiwebsitecov19
Informasi mengenai penyebaran covid di Bandung
ctfp-solutions
My solutions to the challenges from Category Theory for Programmers
Language:HaskellMIT000
kataBaku
A site for people to study kata baku (correct words in Indonesian).
000
Language:JavaScript000
learn-haskell-blog-generator
Learning Haskell by building a simple static blog generator, a book about Haskell.
CC-BY-SA-4.0000
Language:Java000
Language:JavaScript000
orbit-host
Workaround for embedding Orbit
Language:HTML000
Language:JavaScript000
Language:HTML000
Presences
đź›’ Storage for Presences located at our Presence Store.
Language:TypeScriptMPL-2.0000
Language:Java000
Language:JavaScript000
shapes
A graphical shape based esolang
Language:PythonGPL-3.0000
Language:PythonMIT000
Language:C000
Language:Kotlin000