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
lean-wasm
An intrinsically-typed interpreter for WebAssembly
Language:Lean10
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:Rust91 2 03
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:OCaml29 1 03
wasm-hs
Type-safe WebAssembly eDSL in Haskell
Language:Haskell21 0 00

aionescu's Repositories

aionescu/rugina
Rust programming, in Romanian.
Language:Rust91 2 03
aionescu/vec
Fast, safe mutable dynamic arrays for OCaml
Language:OCaml29 1 03
aionescu/wasm-hs
Type-safe WebAssembly eDSL in Haskell
Language:Haskell21 0 00
aionescu/oplang
Stack-based esoteric programming language
Language:Haskell17 4 12
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/lean-wasm
An intrinsically-typed interpreter for WebAssembly
Language:Lean10
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/uu-msmc-accuparsec
Error-accumulating parser combinators
Language:Haskell1 1 0
aionescu/lc-reasoner
Domain reasoner for the λ-calculus
Language:Haskell
aionescu/nushell
A new type of shell
Language:Rust
aionescu/rabin-cryptosystem
Rabin Cryptosystem implementation in Haskell
Language:Haskell1 0
aionescu/sddm
QML based X11 and Wayland display manager
Language:C++0 0
aionescu/traffic-simulator
Traffic simulator written in Unity Engine
Language:C#0 0