aionescu/lean-wasm aionescu/lean-wasm

  • Stars
    star
    1
  • Language Lean
  • License
    GNU General Publi...
  • Created 5 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aionescu/lean-wasm
github

aionescu

Reviews

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

Repository Details

An intrinsically-typed interpreter for WebAssembly

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

wasm-hs

Type-safe WebAssembly eDSL in Haskell
Haskell
17
star
4

bfi

Optimizing Brainfuck interpreter
F#
12
star
5

dynasty

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

ubb

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

toy-language-interpreter

Toy Language Interpreter
Java
2
star
8

pseudocode

Pseudocode compiler for .NET
F#
2
star
9

uu-mpsv-gcl-verifier

GCL verification tool based on predicate transformers
Haskell
2
star
10

uu-msmc-accuparsec

Error-accumulating parser combinators
Haskell
1
star
11

boros

Functional language for self-modifying programs
Haskell
1
star
12

talks

Slides and materials from my talks
HTML
1
star
13

pretty-enum

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

maze-solver

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

plutus2coq

Translating the Plutus standard library to Coq
Shell
1
star