Pinned Repositories
naufalauddin.github.io
codeworld
Educational computer programming environment using Haskell
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
groovy-lambda
VS Code color theme optimised for Haskell, based on Gruvbox Material.
lambda-calculus
An introduction to the Lambda Calculus
LambdaCalculusInterpreter
A Haskell implementation of a lambda calculus interpreter
naufalauddin
Config files for my GitHub profile.
os201
purescript-supabase
RentalSystem
This is a rental system build in java as one of the project in the course of fundamental programming 2 in my university.
naufalauddin's Repositories
naufalauddin/purescript-supabase
naufalauddin/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
naufalauddin/naufalauddin
Config files for my GitHub profile.
naufalauddin/groovy-lambda
VS Code color theme optimised for Haskell, based on Gruvbox Material.
naufalauddin/scheme
Write You a Scheme
naufalauddin/codeworld
Educational computer programming environment using Haskell
naufalauddin/lambda-calculus
An introduction to the Lambda Calculus
naufalauddin/os201
naufalauddin/naufalauddin.github.io
naufalauddin/wiki
https://westurner.org/wiki
naufalauddin/tp4
Tugas Pemrograman 4 untuk kelas Dasar-Dasar Pemrograman 2. Dalam TP 4 ini kami disuruh untuk membangun gui dari sebuah toko rental. Backend dari program sudah disiapkan dari template, namun untuk front-end dibuat dari awal.
naufalauddin/RentalSystem
This is a rental system build in java as one of the project in the course of fundamental programming 2 in my university.
naufalauddin/LambdaCalculusInterpreter
A Haskell implementation of a lambda calculus interpreter