Alex Ionescu

rugina. Rust programming, in Romanian.

vec. Fast, safe mutable dynamic arrays for OCaml

wasm-hs. Type-safe WebAssembly eDSL in Haskell

oplang. Stack-based esoteric programming language

bfi. Optimizing Brainfuck interpreter

ubb. Lab assignments and projects for my Bachelor's Degree at UBB

dynasty. A lazy functional language that compiles to JavaScript

lean-wasm. An intrinsically-typed interpreter for WebAssembly

cloudchor. Lightweight and efficient choreographic programming for cloud services

toy-language-interpreter. Toy Language Interpreter

uu-mpsv-gcl-verifier. GCL verification tool based on predicate transformers

pseudocode. Pseudocode compiler for .NET

plutus2coq. Translating the Plutus standard library to Coq

boros. Functional language for self-modifying programs

maze-solver. High-performance maze solver written in Rust

pretty-enum. Library for pretty-printing .NET enums