Alex1005a

Saint Petersburg, Russia

Pinned Repositories

AIRunner
Runner with unity-ml
Language:C#0 2 00
AppForManagers
App for managers and them workers on scala Play framework
Language:Scala0 2 00
Blog
Blog on asp.net core
Language:C#1 1 00
Booking
Test clean architecture and microservices with asp.net core
Language:C#0 2 00
haskell-snake-game
Language:Haskell00
hindley-milner-verification
Verification of the Hindley-Milner type inference algorithm
Language:Idris00
huge-file-sort-rust
Language:Rust00
Idris2
A purely functional programming language with first class types
Language:Idris00
Idris2-HVM
HVM backend for Idris 2 (lazy)
Language:Idris7 3 11
rust-dpi
Bypass DPI in Rust
Language:Rust11

Alex1005a's Repositories

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