aionescu

Alex Ionescu's repositories

rugina

Rust programming, in Romanian.

Language:RustWTFPL91 20

vec

Fast, safe mutable dynamic arrays for OCaml

Language:OCamlGPL-3.029 10

wasm-hs

Type-safe WebAssembly eDSL in Haskell

Language:HaskellGPL-3.02100

oplang

Stack-based esoteric programming language

Language:HaskellGPL-3.017 4 1

bfi

Optimizing Brainfuck interpreter

Language:F#MIT12 10

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

lean-wasm

An intrinsically-typed interpreter for WebAssembly

Language:LeanGPL-3.0100

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

uu-msmc-accuparsec

Error-accumulating parser combinators

Language:HaskellGPL-3.01 10

lc-reasoner

Domain reasoner for the λ-calculus

Language:HaskellGPL-3.0000

nushell

A new type of shell

Language:RustMIT000

rabin-cryptosystem

Rabin Cryptosystem implementation in Haskell

Language:HaskellGPL-3.0010

sddm

QML based X11 and Wayland display manager

Language:C++GPL-2.0000

traffic-simulator

Traffic simulator written in Unity Engine

Language:C#MIT000