Charly's repositories

zephyr

A Programming Language built for WebAssembly

mpk

A thin go wrapper around Intel MPK

Language:GoLicense:MITStargazers:7Issues:3Issues:1

coral

An experimental kernel with a wasm userspace

Language:RustStargazers:6Issues:3Issues:0

parrot

A colorful and chatty CLI snapshot testing tool.

Language:RustLicense:MITStargazers:4Issues:0Issues:0

hsep.nvim

A nvim plugin to insert horizontal separators with centered text in you code.

microReact

A toy implementation of React.

Language:TypeScriptLicense:MITStargazers:2Issues:0Issues:0

js-py-ipc-bench

A small benchmark of IPC between JS en Python

Language:PythonStargazers:1Issues:0Issues:0

Koi

A friendly companion for your shell scripting journeys.

Language:RustLicense:MITStargazers:1Issues:1Issues:0

tendermock

A mocked Tendermint node for integration testing of IBC protocol.

Language:RustStargazers:1Issues:0Issues:0

aarch64-esr-decoder

A utility for decoding aarch64 ESR register values.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

cloud-gba

LauzHack 2020 project

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0

ibc-rs

IBC modules and relayer - Formal specifications and Rust implementation

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

jsys-website

Code behind the JSys website.

Language:HTMLLicense:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

mirage-artifact-opensbi

OpenSBI binary for integration testing of Mirage

Language:MakefileStargazers:0Issues:0Issues:0

pc-keyboard

PS/2 Keyboard Decoder in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

poke-env

A python interface for training Reinforcement Learning bots to battle on pokemon showdown

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

Pokemon-Showdown

Pokemon-Showdown fork optimized for RL training performance.

License:MITStargazers:0Issues:0Issues:0

rebooter

A small HTTP server that install and reboot on a fresh kernel image, for easy and fast development cycles.

Language:GoStargazers:0Issues:1Issues:0

regalloc.rs

Modular register allocator algorithms

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:2Issues:0

rust

Empowering everyone to build reliable and efficient software.

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

tendermint-rs

Tendermint in Rust!

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

wasm-mem-preview

A simple online tool to inspect wasm memory.

Language:TypeScriptStargazers:0Issues:2Issues:1

wasm-tools

Low level tooling for WebAssembly in Rust

License:Apache-2.0Stargazers:0Issues:0Issues:0

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

watest

A CLI tool to test wasm module.

Language:RustStargazers:0Issues:0Issues:0

zephyr-playground

WIP: an online playground for the Zephyr language

Language:TypeScriptStargazers:0Issues:0Issues:0

zephyr.vim

Support for the zephyr language in [neo]vim

Language:Vim scriptStargazers:0Issues:0Issues:0