aionescu

Computing Science MSc Student at Utrecht Univeristy

Utrecht, Netherlands

Pinned Repositories

bfi
Optimizing Brainfuck interpreter
Language:F#12 1 02
dynasty
A lazy functional language that compiles to JavaScript
Language:Haskell6 1 00
oplang
Stack-based esoteric programming language
Language:Haskell17 4 12
pseudocode
Pseudocode compiler for .NET
Language:F#2 1 00
rugina
Rust programming, in Romanian.
Language:Rust87 2 02
talks
Slides and materials from my talks
Language:HTML1 1 00
toy-language-interpreter
Toy Language Interpreter
Language:Java2 1 00
ubb
Lab assignments and projects for my Bachelor's Degree at UBB
Language:Java3 1 00
vec
Fast, safe mutable dynamic arrays for OCaml
Language:OCaml26 1 03
wasm-hs
Type-safe WASM eDSL in Haskell
Language:Haskell15 0 00

aionescu's Repositories

aionescu/rugina
Rust programming, in Romanian.
Language:Rust87 2 02
aionescu/vec
Fast, safe mutable dynamic arrays for OCaml
Language:OCaml26 1 03
aionescu/oplang
Stack-based esoteric programming language
Language:Haskell17 4 12
aionescu/wasm-hs
Type-safe WASM eDSL in Haskell
Language:Haskell15 0 00
aionescu/bfi
Optimizing Brainfuck interpreter
Language:F#12 1 02
aionescu/dynasty
A lazy functional language that compiles to JavaScript
Language:Haskell6 1 00
aionescu/ubb
Lab assignments and projects for my Bachelor's Degree at UBB
Language:Java3 1 00
aionescu/pseudocode
Pseudocode compiler for .NET
Language:F#2 1 00
aionescu/toy-language-interpreter
Toy Language Interpreter
Language:Java2 1 00
aionescu/uu-mpsv-gcl-verifier
GCL verification tool based on predicate transformers
Language:Haskell2 2 00
aionescu/boros
Functional language for self-modifying programs
Language:Haskell1 1 00
aionescu/maze-solver
High-performance maze solver written in Rust
Language:Rust1 1 02
aionescu/plutus2coq
Translating the Plutus standard library to Coq
Language:Shell1 3 0
aionescu/pretty-enum
Library for pretty-printing .NET enums
Language:C#1 1 0
aionescu/talks
Slides and materials from my talks
Language:HTML1 1 00
aionescu/uu-msmc-accuparsec
Error-accumulating parser combinators
Language:Haskell1 1 0
aionescu/rabin-cryptosystem
Rabin Cryptosystem implementation in Haskell
Language:Haskell1 0
aionescu/sddm
QML based X11 and Wayland display manager
aionescu/traffic-simulator
Traffic simulator written in Unity Engine
Language:C#0 0
aionescu/We10XOS-kde
We10XOS-kde kde is a materia Design theme for KDE Plasma desktop.