Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Repository Index
47,133 repositories indexed
889–912 of 1,033 · Most stars
Bootstrap 5 Components for the Yew Framework
Just A Rust Wasm Blog
Clean boilerplate for graphql services, wasm/yew frontend, handlebars frontend. Using tide, rhai, async-graphql, surf, graphql-client, yew, handlebars, jsonwebtoken, and mongodb.
- tide
- mongodb
- async-graphql
- rust
A crate to separate your HTML from your Rust code when using Yew
Load Javascript and CSS asynchronously in yew
- codesplitting
- interop
- wasm
- rust
An artwork streaming app
Wordle in Rust
- rust
- webassembly
- yew
- wordle
A TypeScript language-server shim that bridges Neovim's LSP client with tsserver.
- javascript
- lsp
- lsp-server
- rust
Terminal UI for managing Docker containers and following their logs during development.
Web app that can hash/hmac, encrypt/decrypt, and sign/verify the data, debug JWT tokens, parse and edit ASN1 structures, compute diffs, and more
DevAndDev helps developers finding pair-programming partners.
Batteries-included development environment for the Defold game engine, powered by Neovim
- defold
- defold-game-engine
- neovim
- neovim-plugin
Minesweeper built with rust, yew and web assembly
[WIP] MUI-CSS Components for Yew framework
A General Transit Feed Specification (GTFS) server written in Rust
A Docker project template generator written in Rust
- docker
- boilerplate
- template
- oci
AST-native PostgreSQL toolkit: typed queries to wire protocol, with built-in RLS tenant isolation.
🕵️♀️ Find, locate, and query files for ops and security experts ⚡️⚡️⚡️
The repository host gives no description.
:dizzy: A coroutines-driven Low & Slow traffic sender, written in Rust
Port listener / honeypot in Rust with protocol guessing and safe string display
Dynamic Kaomoji personalities for Claude Code's statusline that change based on what Claude is doing
The Karpathy LLM Wiki pattern, productionized. MCP server that gives Claude a librarian for your Obsidian vault — graph traversal, auto-wikilinks, trigram search.
- claude
- claude-code
- karpathy
- knowledge-graph