aionescu

Alex Ionescu's repositories

rugina

Rust programming, in Romanian.

Language:RustWTFPL87 20

vec

Fast, safe mutable dynamic arrays for OCaml

Language:OCamlGPL-3.026 10

oplang

Stack-based esoteric programming language

Language:HaskellGPL-3.017 4 1

bfi

Optimizing Brainfuck interpreter

Language:F#MIT12 10

wasm-hs

Type-safe WASM eDSL in Haskell

Language:HaskellGPL-3.0800

dynasty

A lazy functional language that compiles to JavaScript

Language:HaskellGPL-3.06 10

ubb

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

Language:JavaGPL-3.03 10

pseudocode

Pseudocode compiler for .NET

Language:F#GPL-3.02 10

toy-language-interpreter

Toy Language Interpreter

Language:JavaGPL-3.02 10

uu-mpsv-gcl-verifier

GCL verification tool based on predicate transformers

Language:HaskellGPL-3.02 20

boros

Functional language for self-modifying programs

Language:HaskellGPL-3.01 10

maze-solver

High-performance maze solver written in Rust

Language:RustGPL-3.01 10

plutus2coq

Translating the Plutus standard library to Coq

Language:ShellGPL-3.01 30

pretty-enum

Library for pretty-printing .NET enums

Language:C#MIT1 10

talks

Slides and materials from my talks

Language:HTMLGPL-3.01 10

uu-msmc-accuparsec

Error-accumulating parser combinators

Language:HaskellGPL-3.01 10

rabin-cryptosystem

Rabin Cryptosystem implementation in Haskell

Language:HaskellGPL-3.0010

sddm

QML based X11 and Wayland display manager

GPL-2.0000

traffic-simulator

Traffic simulator written in Unity Engine

Language:C#MIT000

We10XOS-kde

We10XOS-kde kde is a materia Design theme for KDE Plasma desktop.

GPL-3.0000