Pinned Repositories
AIRunner
Runner with unity-ml
AppForManagers
App for managers and them workers on scala Play framework
Blog
Blog on asp.net core
Booking
Test clean architecture and microservices with asp.net core
haskell-snake-game
hindley-milner-verification
Verification of the Hindley-Milner type inference algorithm
huge-file-sort-rust
Idris2
A purely functional programming language with first class types
Idris2-HVM
HVM backend for Idris 2 (lazy)
rust-dpi
Bypass DPI in Rust
Alex1005a's Repositories
Alex1005a/Idris2-HVM
HVM backend for Idris 2 (lazy)
Alex1005a/Blog
Blog on asp.net core
Alex1005a/AIRunner
Runner with unity-ml
Alex1005a/AppForManagers
App for managers and them workers on scala Play framework
Alex1005a/Booking
Test clean architecture and microservices with asp.net core
Alex1005a/haskell-snake-game
Alex1005a/hindley-milner-verification
Verification of the Hindley-Milner type inference algorithm
Alex1005a/huge-file-sort-rust
Alex1005a/Idris2
A purely functional programming language with first class types
Alex1005a/JsonToRecord
It's Telegram bot that converts json to F# record
Alex1005a/Kind
A next-gen functional language
Alex1005a/Olaru-lang
Language that supports substructural type systems
Alex1005a/TestSpring
Spring boot app for student testing