Skip to content
View aionescu's full-sized avatar

Block or report aionescu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. wasm-hs wasm-hs Public

    Type-safe WebAssembly eDSL in Haskell

    Haskell 23

  2. lean-wasm lean-wasm Public

    An intrinsically-typed interpreter for WebAssembly

    Lean 1

  3. vec vec Public

    Fast, safe mutable dynamic arrays for OCaml

    OCaml 28 3

  4. rugina rugina Public

    Forked from bnjbvr/rouille

    Rust programming, in Romanian.

    Rust 93 3

  5. dynasty dynasty Public

    A lazy functional language that compiles to JavaScript

    Haskell 6

  6. oplang oplang Public

    Stack-based esoteric programming language

    Haskell 17 2