Discover @aionescu Open Source projects

Alex Ionescu (@aionescu)

aionescu

Stars
170
Global Rank 135,710 (Top 5 %)
Followers 49
Following 29
Registered over 5 years ago
Most used languages

Haskell
40.0 %

F#
13.3 %

Java
13.3 %

Rust
6.7 %

Shell
6.7 %

HTML
6.7 %

C#
6.7 %

OCaml
6.7 %
Location 🇳🇱 Netherlands
Country Total Rank 2,648
Country Ranking

OCaml
8

F#
16

Haskell
48

Rust
818

Java
1,461

Shell
2,066

C#
2,486

HTML
3,152

vec

Fast, safe mutable dynamic arrays for OCaml

oplang

Stack-based esoteric programming language

bfi

Optimizing Brainfuck interpreter

wasm-hs

Type-safe WASM eDSL in Haskell

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