Beast code in Giters

Alex1005a's repositories

HVM backend for Idris 2 (lazy)

Language:Idris6 3 1

Blog on asp.net core

Language:C#1 10

Runner with unity-ml

Language:C#020

App for managers and them workers on scala Play framework

Language:Scala020

Test clean architecture and microservices with asp.net core

Language:C#020

Language:HaskellBSD-3-Clause000

Verification of the Hindley-Milner type inference algorithm

Language:Idris000

Language:Rust000

A purely functional programming language with first class types

Language:IdrisNOASSERTION000

It's Telegram bot that converts json to F# record

Language:F#020

A next-gen functional language

Language:RustMIT000

Language that supports substructural type systems

Language:HaskellNOASSERTION010

Spring boot app for student testing

Language:Java020