sbillig

sbillig's Stars

• zed-industries/zed

  Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

  Language:Rust52.4k23010.1k3.3k

• lapce/lapce

  Lightning-fast and Powerful Code Editor written in Rust

  Language:Rust34.9k1851.9k1.1k

• ethereum/solidity

  Solidity, the Smart Contract Programming Language

  Language:C++23.7k7316.1k5.9k

• loro-dev/loro

  Make your JSON data collaborative and version-controlled with CRDTs

  Language:Rust4.3k3711384

• cozodb/cozo

  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

  Language:Rust3.5k44151110

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.8k802.1k235

• n0-computer/iroh

  peer-2-peer that just works

  Language:Rust2.7k37749176

• freenet/freenet-core

  Declare your digital independence

  Language:Rust2.3k5016384

• SilasMarvin/lsp-ai

  LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.

  Language:Rust2.3k225379

• TryQuiet/quiet

  A private, p2p alternative to Slack and Discord built on Tor & IPFS

  Language:C2k251.5k88

• ethereum/fe

  Emerging smart contract language for the Ethereum blockchain.

  Language:Rust1.6k37408194

• MLton/mlton

  The MLton repository

  Language:Standard ML97250180128

• sebbbi/OffsetAllocator

  Fast O(1) offset allocator with minimal fragmentation

  Language:C++77712338

• microsoft/Spartan

  Spartan: High-speed zkSNARKs without trusted setup

  Language:Rust7161638125

• brickbots/aball

  A Ball - Buttonless trackball for all

  68721628

• dusk-network/plonk

  Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

  Language:Rust55724425150

• ploopyco/nano-trackball

  A very small trackball-only mouse. Mechanical files, PCBs, and firmware all included.

  49117848

• argumentcomputer/lurk-rs

  Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

  Language:Rust4251439155

• mazeppa-dev/mazeppa

  A modern supercompiler for call-by-value functional languages

  Language:OCaml3978248

• pcwalton/offset-allocator

  A port of Sebastian Aaltonen's `OffsetAllocator` to Rust

  Language:Rust394137

• BigCorvus/LORA-QWERTY-Communicator

  A tidy and feature-packed LORA QWERTY communication device based on a Blackberry Q10 keyboard, a nRF52840 and a 2.7'' Sharp Memory LCD

  Language:C++20812113

• aki27kbd/trackball_module

  34mm trackball module with ADNS-5050 sensor. This module can be implemented with existing DIY keyboards via wiring.

  147545

• fluentlabs-xyz/fluentbase

  A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm

  Language:Rust618131

• fe-lang/sonatina

  Language:Rust477127

• ipsilon/eof

  Validation code for the EOF specification

  Language:Python46113219

• earthstar-project/dns-sd

  DNS-SD (aka Zeroconf, Bonjour, Avahi) in TypeScript for Deno and Node.

  Language:TypeScript44312

• nikomatsakis/rust-of-my-dreams

  A playground for thinking about what Rust could be like

  2371

• mycognosist/solar

  A minimal Secure Scuttlebutt replication node.

  Language:Rust223382

• micahscopes/webscape-wanderer

  Language:JavaScript14322

• fe-lang/dir-test

  Language:Rust2103