aionescu/wasm-hs aionescu/wasm-hs

  • Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created about 1 year ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aionescu/wasm-hs
github

aionescu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Type-safe WebAssembly eDSL in Haskell

More Repositories

1

vec

Fast, safe mutable dynamic arrays for OCaml
OCaml
28
star
2

oplang

Stack-based esoteric programming language
Haskell
17
star
3

bfi

Optimizing Brainfuck interpreter
F#
12
star
4

dynasty

A lazy functional language that compiles to JavaScript
Haskell
6
star
5

ubb

Lab assignments and projects for my Bachelor's Degree at UBB
Java
3
star
6

toy-language-interpreter

Toy Language Interpreter
Java
2
star
7

pseudocode

Pseudocode compiler for .NET
F#
2
star
8

uu-mpsv-gcl-verifier

GCL verification tool based on predicate transformers
Haskell
2
star
9

uu-msmc-accuparsec

Error-accumulating parser combinators
Haskell
1
star
10

boros

Functional language for self-modifying programs
Haskell
1
star
11

talks

Slides and materials from my talks
HTML
1
star
12

pretty-enum

Library for pretty-printing .NET enums
C#
1
star
13

maze-solver

High-performance maze solver written in Rust
Rust
1
star
14

plutus2coq

Translating the Plutus standard library to Coq
Shell
1
star
15

lean-wasm

An intrinsically-typed interpreter for WebAssembly
Lean
1
star