Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

217–240 of 250 · Most stars

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

A TypeScript language-server shim that bridges Neovim's LSP client with tsserver.

  • javascript
  • lsp
  • lsp-server
  • rust

This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.

An alternative jq implementation in rust for continuous parsing without crashing on invalid JSON, with Filtration support.

🔥 n01d-forge - Secure Cross-Platform Image Burner with Encryption | LUKS, VeraCrypt, Secure Erase, Hash Verification

  • bootable-usb
  • cross-platform
  • encryption
  • etcher-alternative