Lean for JavaScript and WebAssembly runtimes
☆87Oct 29, 2026Updated this week
Alternatives and similar repositories for lasm
Users that are interested in lasm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatically donate to your dependencies to help sustain us☆13Dec 9, 2022Updated 3 years ago
- Where Jordan and Ryan list and prioritize issues regarding the Internet Computer and its governance☆13Oct 8, 2021Updated 5 years ago
- A CLI to interact with the Internet Computer App on Ledger Nano S/X devices.☆14Sep 10, 2026Updated last month
- A Job Board for Formal Verification☆90Updated this week
- Applying the Chinese Wall Reverse Engineering Technique to Large Language Model Code Editing☆12Aug 2, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Typed pure FP where data is syntax sugar for functions☆11Nov 6, 2025Updated 11 months ago
- Small, configurable proof search for inductive Lean goals☆26Sep 30, 2026Updated last month
- Event-sourced task graphs, pattern learning, and swarm coordination for Claude Code☆15Jul 4, 2026Updated 3 months ago
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- A collection of tools for the Nix daemon wire protocol☆14Oct 21, 2026Updated last week
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆38Updated this week
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Apr 28, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Examples of Nix WASI derivations written in Rust☆14Jan 23, 2026Updated 9 months ago
- Basic exhaustiveness checking of unions in Elixir☆16Jun 23, 2019Updated 7 years ago
- A live reload development server for Motoko smart contracts.☆24Jun 15, 2026Updated 4 months ago
- System on Module in OSM-L form factor☆11Nov 14, 2025Updated 11 months ago
- A rust port of con-leche☆34Updated this week
- thread-per-core layer cache implementation☆17Oct 19, 2026Updated last week
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆38Sep 30, 2026Updated last month
- Chatbot Integration in your Business website. Self hosted, free forever!☆37Sep 26, 2026Updated last month
- A CLI tool for performing bottom-up translation of GNU Guix derivations into Nix.☆28Jul 30, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- RISC-V Specification in Coq☆13Sep 17, 2018Updated 8 years ago
- A terminal as a unix pipe: keystrokes go in as JSONL, and the screen comes out as HTML. You can then pipe that directly to a web page.☆19Updated this week
- PAM + NSS module for Rauthy☆17Oct 2, 2026Updated 3 weeks ago
- Open-source local viewer for software architecture. Use the UIGraph skill with your coding agent to generate service maps, API specs, dep…☆24Oct 22, 2026Updated last week
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Multi-Paradigm Compiler Infrastructure & Runtime Framework☆33Updated this week
- Composable flake outputs using the adios module system — the ergonomics of flake-parts without the evaluation overhead.☆34Apr 3, 2026Updated 6 months ago
- A free alternative to the Omi app!☆33Feb 17, 2026Updated 8 months ago
- Fix race conditions across Node.js processes: ordered operations, expiring holds, and state that survives a restart, in your SQL database…☆42Oct 22, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- My PhD thesis.☆14Jun 30, 2023Updated 3 years ago
- Latent Large Language Models☆19Aug 24, 2024Updated 2 years ago
- Use 2 Seeed XIAO SAMD21 boards to create a USB MIDI Host to Host adapter☆11Jun 16, 2024Updated 2 years ago
- Electric circuits - turn any static query into a live one.☆32Jul 23, 2026Updated 3 months ago
- Metadata-first trust control plane for authorized security workflows, evidence retention, release trust, and business-flow proof.☆14Aug 11, 2026Updated 2 months ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- ☆19May 12, 2017Updated 9 years ago