Ivin Sony's repositories
dotfiles
dot configs
fireKracker
NASA Space Apps Challenge Hackathon Project rocket fire
laws
Implementation and property-based verification of functional programming abstractions' laws
Runc_Experiments
Live migration Runc - Docker / Lxc / Criu
bandwhich
Terminal bandwidth utilization tool
bats
Bash Automated Testing System
C-code
Random code in C/C++ -- Sorting Algorithms etc.
codelabs
Flutter codelab examples
comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
concurency
concurency related code
foundations-streaming
Material for the workshop 'Foundations fo Streaming'
functures
My journey learning functional programming.
go-prac
Really simple examples for golang concepts.
hello-algo
《Hello 算法》:动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新,English version ongoing
LazyVim
Neovim config for the lazy
lsp_lines.nvim
GitHub mirror of https://git.sr.ht/~whynothugo/lsp_lines.nvim to work around Windows issues with `packer.nvim`.
ML-DataEng-Pipelines
To show the usefulness of data engineering and ML pipelines.
mo
🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)
notes
detailed notes on computer science topics, in one page
nvim-config
nvim-config
proxy
The Istio proxy components.
Scala
All Algorithms implemented in Scala
schema-registry
Confluent Schema Registry for Kafka
tamer
Standalone alternatives to Kafka Connect Connectors
trading
💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)
vagrant-projects
Vagrant projects for Oracle products and other examples
zio-config
Easily use and document any config from anywhere in ZIO apps