Discover @aionescu Open Source projects

Alex Ionescu (@aionescu)

aionescu

Stars
185
Global Rank 130,901 (Top 5 %)
Followers 56
Following 38
Registered almost 6 years ago
Most used languages

Haskell
37.5 %

Java
12.5 %

F#
12.5 %

Lean 6.3 %

Rust
6.3 %

C#
6.3 %

OCaml
6.3 %

HTML
6.3 %

Shell
6.3 %

vec

Fast, safe mutable dynamic arrays for OCaml

oplang

Stack-based esoteric programming language

wasm-hs

Type-safe WebAssembly eDSL in Haskell

bfi

Optimizing Brainfuck interpreter

dynasty

A lazy functional language that compiles to JavaScript

ubb

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

toy-language-interpreter

Toy Language Interpreter

pseudocode

Pseudocode compiler for .NET

uu-mpsv-gcl-verifier

GCL verification tool based on predicate transformers

uu-msmc-accuparsec

Error-accumulating parser combinators

boros

Functional language for self-modifying programs

talks

Slides and materials from my talks

pretty-enum

Library for pretty-printing .NET enums

maze-solver

High-performance maze solver written in Rust

plutus2coq

Translating the Plutus standard library to Coq

lean-wasm

An intrinsically-typed interpreter for WebAssembly