arinal
Blessed be he who code in the woods. Hunting code amid trees he does.
Disney+Greater Manchester Area
Pinned Repositories
.files
His daily dotconfig files
ai-searcher
Simple searcher engine to solve problems commonly been given to you if you'd taken AI class before.
elm-newtonian
Newtonian physics meet functional programming, what a perfect match!
imgrement-proto
Kernel module for tracking I/O request to given disk device.
mollOS
Simple OS from scratch for educational purpose. Highly influenced by James Molloy's kernel.
simple-sale
Simple RESTful POS application in Java using Spring. Full integration test implemented in docker-compose.
socket-samples
Implementation of various simple POSIX socket server using basic single thread, classic multiple thread and modern multiplexed I/O. Multiplexed I/O is built with select and epoll system calls.
WpfSolarSystem
Newtonian gravity animation using WPF. Basically, this program shows you how to separate physics engine from presentation layer. Just open 'SolarSystem.sln' with Visual Studio and have fun :)
Z2IO
An implementation of IO monad to mimic the likes of ZIO and cats-effect. The aims of this project is educational...
sibiil-trac
A small asynchronous TCP server for gathering data sent by IoT devices.
arinal's Repositories
arinal/.files
His daily dotconfig files
arinal/moveon
A Scala implementation for creating RESTful apps with functional programming and DDD mindset. Its simplicity is ideal for anyone who self-learn scala and DDD.
arinal/elm-newtonian
Newtonian physics meet functional programming, what a perfect match!
arinal/BlackBoard-Course-Downloader
Simple Python Script to Download Course Documents from Black Board Learn Sites
arinal/Z2IO
An implementation of IO monad to mimic the likes of ZIO and cats-effect. The aims of this project is educational...
arinal/accountz
Simple project to demonstrate DDD on Scala and ZIO
arinal/arinal.github.io
arinal/awesome-hammerspoon
awesome configuration for Hammerspoon.
arinal/cardvert
A Scala implementation for creating RESTful apps with functional programming and DDD mindset. Its simplicity is ideal for anyone who self-learn scala and DDD.
arinal/dotfiles
Depreceated, see https://github.com/arinal/.files instead.
arinal/finding_donors
arinal/forex-mtl
A local proxy for getting Currency Exchange Rates. Built with principled manner using Scala, tagless-final, and Typelevel stacks.
arinal/frdomain
Code repo for Functional and Reactive Domain Modeling
arinal/fs2
Compositional, streaming I/O library for Scala
arinal/hamiltonian
A program to find hamiltonian path in chess board of configurable size which movement rule is piece type dependent, created in purely functional programming way.
arinal/kitten
Trying to redefine Cats and Scala standard library.
arinal/lunarvim.org
Website for LunarVim
arinal/monadhell
Comparison of application which is built using normal stacked monads and tagless final.
arinal/nerveux.nvim
A neovim plugin written in lua to interact with the neuron Zettelkasten software.
arinal/prezto
The configuration framework for Zsh
arinal/rust-tools.nvim
Tools for better development in rust using neovim's builtin lsp
arinal/saleass
Sale application with DDD mindset using pure functional programming.
arinal/simple-stock-ticker
arinal/smithy4s
arinal/solana-template
arinal/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
arinal/swagger-core
Examples and server integrations for generating the Swagger API Specification, which enables easy access to your REST API
arinal/tradev
Event driven services using Scala 3 and typelevel stack
arinal/vimconfig
NeoVim config based on NvChad
arinal/ziodd
Implenting DDD using Scala with ZIO