-
sdl_seminar
No description.
C ★ 94 5y agoExplain → -
BrainCoqulus
A formally verified compiler of untyped lambda calculus to brainfuck
Coq ★ 16 9y agoExplain → -
N-TicTacToe
N-dimensional Tic Tac Toe implemented in Python and curses
Python ★ 6 11y agoExplain → -
wasm-multivalue-opt
An experiment to exhaustively find optimization opportunities created by WebAssembly's multi-value proposal
Rust ★ 5 7y agoExplain → -
cs224-final
No description.
C ★ 4 9y agoExplain → -
git-tl
tlively's opinionated git workflow wrapper
Python ★ 2 4mo agoExplain → -
cs51-final
A space shooter in C
C ★ 1 11y agoExplain → -
calculator50
A calculator.
C ★ 1 8y agoExplain → -
emacs-setup
my personal .emacs file
Emacs Lisp ★ 1 8y agoExplain → -
PixelPilot
A small Asteroids-esque game created with standard Java libraries for educational purposes
Java ★ 1 11y agoExplain → -
site-www ⑂
The source for the Dart website.
★ 0 8mo agoExplain → -
wasm-bindgen ⑂
Facilitating high-level interactions between Wasm modules and JavaScript
★ 0 6y agoExplain → -
wasm.github ⑂
Default community health files for all WebAssembly repos
★ 0 2y agoExplain → -
spectec ⑂
Wasm SpecTec specification tools
WebAssembly ★ 0 11mo agoExplain → -
annotations ⑂
Proposal for Custom Annotation Syntax in the Text Format
★ 0 2y agoExplain → -
js-string-builtins ⑂
JS String Builtins
★ 0 2y agoExplain → -
proposals ⑂
Tracking WebAssembly proposals
★ 0 2y agoExplain → -
v8.dev ⑂
The source code of v8.dev, the official website of the V8 project.
★ 0 3y agoExplain → -
llvm-project ⑂
This is the canonical git mirror of the LLVM subversion repository. Please see http://llvm.org/ for instructions on contributing to LLVM.
C++ ★ 0 1y agoExplain → -
stack-switching ⑂
A repository for the stack switching proposal.
★ 0 3y agoExplain → -
carbon-lang ⑂
Carbon language specification and documentation.
★ 0 4y agoExplain → -
WebAssemblyStudio ⑂
Learn, Teach, Work and Play in the WebAssembly Studio
★ 0 4y agoExplain → -
wasm_split_demo ⑂
No description.
★ 0 4y agoExplain → -
llvm-premerge-checks ⑂
CI system for premerge-testing in LLVM project
★ 0 5y agoExplain → -
learn-gfx-hal ⑂
Step by step tutorials for gfx-hal
Batchfile ★ 0 7y agoExplain → -
simde ⑂
Implementations of SIMD instruction sets for systems which don't natively support them.
★ 0 5y agoExplain → -
FileCheck.py ⑂
Attempt to reimplement LLVM's FileCheck using Python.
★ 0 4y agoExplain → -
binaryen ⑂
Compiler infrastructure and toolchain library for WebAssembly, in C++
WebAssembly ★ 0 11mo agoExplain → -
threads ⑂
Threads and Atomics in WebAssembly
WebAssembly ★ 0 2y agoExplain → -
oss-fuzz ⑂
OSS-Fuzz - continuous fuzzing of open source software.
★ 0 6y agoExplain → -
cargo ⑂
The Rust package manager
★ 0 6y agoExplain → -
libc ⑂
Raw bindings to platform APIs for Rust
Rust ★ 0 6y agoExplain → -
feature-detection ⑂
No description.
WebAssembly ★ 0 6y agoExplain → -
emsdk ⑂
Emscripten SDK
Shell ★ 0 3y agoExplain → -
gfx ⑂
A high-performance, bindless graphics API for Rust.
Rust ★ 0 7y agoExplain → -
libwebp ⑂
Mirror only. Please do not send pull requests.
C ★ 0 7y agoExplain → -
emscripten ⑂
Emscripten: An LLVM-to-JavaScript Compiler
C ★ 0 2y agoExplain → -
WebAssemblyIntrinsic ⑂
No description.
C++ ★ 0 7y agoExplain → -
rustfmt ⑂
Format Rust code
Rust ★ 0 8y agoExplain → -
wabt ⑂
The WebAssembly Binary Toolkit
C++ ★ 0 7y agoExplain → -
rust ⑂
A safe, concurrent, practical language.
Rust ★ 0 5y agoExplain → -
meetings ⑂
Information on in-person WebAssembly meetings
★ 0 5y agoExplain → -
rocksdb ⑂
A library that provides an embeddable, persistent key-value store for fast storage.
C++ ★ 0 8y agoExplain → -
week10
No description.
HTML ★ 0 8y agoExplain → -
checks ⑂
No description.
Python ★ 0 8y agoExplain → -
cli ⑂
No description.
Shell ★ 0 8y agoExplain → -
rust-www ⑂
The Rust website
HTML ★ 0 9y agoExplain → -
design ⑂
WebAssembly Design Documents
★ 0 9y agoExplain → -
mir2wasm ⑂
An experimental compiler from Rust to WebAssembly
Rust ★ 0 9y agoExplain → -
help50 ⑂
This is help50, a command-line tool that helps students understand error messages.
Python ★ 0 9y agoExplain → -
distributed-lightcycle
No description.
Python ★ 0 10y agoExplain →
No repos match these filters.