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
793–816 of 915 · Most stars
Bootstrap 5 Components for the Yew Framework
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 ⚡️⚡️⚡️
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
Spends CPU cycles so you don't spend tokens. The LLM gets a briefing packet instead of a flashlight in a dark room.
Native Linux GUI for Claude Code agents. Rust + GTK4. Fast, light, no Electron.
Raspberry Pi's CPU and GPU temperature exporter for Prometheus consumption.
- exporter
- monitoring
- prometheus
- raspberry-pi