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

457–480 of 524 · 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

AST-native PostgreSQL toolkit: typed queries to wire protocol, with built-in RLS tenant isolation.

A high-level API to control headless Chrome or Chromium over the DevTools Protocol. It is the Rust equivalent of Puppeteer, a Node library maintained by the Chrome DevTools team.

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.

A modern, Pythonic ORM for TypeDB with an Attribute-based API that aligns with TypeDB's type system.

  • orm
  • typedb
  • typeql
  • pydantic