Ayman Bouchareb Demuirgos

💭

I am Code-Talker

Junior type theory enthusiast

Achievements

DemuirGos /README.md

 [C++; C; C#; F#; Typescript; VB.Net; Python; Powershell; Rust; ...]

 [Blazor; Avalonia; Uno; MAUI; ASP.Net; Elmish; Bolero; Unity; ...]

 [F*; Lean; (Q|W)?asm; Haskell; Ocaml; Q#; OpenGl; DirectX; Azure, ...]

Inoculator Inoculator Public

An IL code Injector using Ilasm and Ildasm

C# 7
ILDovah ILDovah Public

A basic MSIL parser (follows 2012 ECMA-CIL)

C# 4
Lambda-Calculus Lambda-Calculus Public

A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime

F# 13 3
Programming-Training Programming-Training Public

some of my proposed solutions to some of competitive programming problems and other competitions

F* 1
TypeProvider TypeProvider Public

A compile Time Type generator from data sample, Inspired by F# TypeProviders

C# 2
HuskVm HuskVm Public

A Simple barebone StateMachine, that is a customizable to fit multiple VM design choices

C# 1