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
flix
The Flix Programming Language
Haskquill
Compile-time QDSL for SQL queries in Haskell
hindley-milner-verification
Verification of the Hindley-Milner type inference algorithm
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/Haskquill
Compile-time QDSL for SQL queries in Haskell
Alex1005a/Blog
Blog on asp.net core
Alex1005a/Booking
Test clean architecture and microservices with asp.net core
Alex1005a/rust-dpi
Bypass DPI in Rust
Alex1005a/AIRunner
Runner with unity-ml
Alex1005a/AppForManagers
App for managers and them workers on scala Play framework
Alex1005a/flix
The Flix Programming Language
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/Olaru-lang
Language that supports substructural type systems
Alex1005a/scala-steward
:robot: A bot that helps you keep your projects up-to-date
Alex1005a/scala3
The Scala 3 compiler, also known as Dotty.
Alex1005a/TestSpring
Spring boot app for student testing