A toy language that compiles to WebAssembly
☆51Jun 6, 2022Updated 4 years ago
Alternatives and similar repositories for WebBS
Users that are interested in WebBS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AssemblyScript library for arbitrary-precision decimal arithmetic☆37Dec 11, 2023Updated 2 years ago
- WebAssembly Syntax Highlight for VS Code☆14Jul 24, 2018Updated 8 years ago
- ☆19Nov 3, 2021Updated 5 years ago
- x86 vm in JavaScript☆12May 26, 2011Updated 15 years ago
- A simple WebAssembly compiler☆14Aug 12, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆23Feb 19, 2024Updated 2 years ago
- Custom Dark Theme for Beef IDE☆18Jan 30, 2025Updated last year
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Mar 20, 2024Updated 2 years ago
- A nicer wrapper around the browser's History API. Push, replace, back, forward, etc.☆25Aug 14, 2013Updated 13 years ago
- Cooperative get-port implementation☆10Jul 10, 2022Updated 4 years ago
- memoize written in swift using generics☆10Jun 7, 2014Updated 12 years ago
- A software renderer written from scratch in Python 3, using only modules from the Python Standard Library.☆10Dec 29, 2017Updated 8 years ago
- Generate generator to create a new repository on GitHub.☆12May 7, 2017Updated 9 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆15Jun 7, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- JavaScript asynchronous control flow utility library.☆13Aug 24, 2013Updated 13 years ago
- extract uniforms and attributes from glsl programs☆19Jul 5, 2014Updated 12 years ago
- d3fc financial components for R☆11Mar 21, 2017Updated 9 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- The Scott Logic blog☆10Oct 20, 2026Updated 2 weeks ago
- A tool that makes writing WebAssembly Text files easier.☆29Mar 17, 2023Updated 3 years ago
- A sound and complete solver for type inhabitation and unification in dependent type theory, written in 185 lines of Lean.☆12Sep 20, 2026Updated last month
- Compile once to WebAssembly. Ship everywhere as source code.☆19Oct 5, 2026Updated 3 weeks ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- immediate mode ui in javascript on html canvas (2016+) (multimedia loop (60fps))☆12May 10, 2021Updated 5 years ago
- 👆 A simple outside click listener with no external dependencies.☆20Feb 16, 2021Updated 5 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated 2 years ago
- codemirror-powered GLSL editor component☆16Sep 6, 2014Updated 12 years ago
- deno bindings for the beam vm☆11May 12, 2022Updated 4 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 10 months ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Sep 21, 2020Updated 6 years ago
- Cassandra / Elassandra persistence layer for Gun DB☆13Jun 28, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Emchipten — Compile your CHIP-8 into WebAssembly binaries!☆21Sep 26, 2017Updated 9 years ago
- 🌀 A modern, broker-agnostic, distributed message queue for deno☆13Aug 25, 2023Updated 3 years ago
- Intelligently render a data stream in a browser.☆15Oct 9, 2016Updated 10 years ago
- A [ functional stack ] based language.☆31Oct 30, 2023Updated 3 years ago
- Inline TypeScript types into markdown files☆12Jul 3, 2021Updated 5 years ago
- A browserify transform stream that optimizes your glslify shaders☆23Aug 29, 2014Updated 12 years ago
- Deno FFI bindings for Raylib☆22Jun 2, 2025Updated last year