declanvk

declanvk's Stars

• tokio-rs/mini-redis

  Incomplete Redis client and server implementation using Tokio - for learning purposes only

  Language:Rust4k4742477

• beancount/beancount

  Beancount: Double-Entry Accounting from Text Files.

  Language:Python3.9k47541319

• algorithmica-org/algorithmica

  A computer science textbook

  Language:Jupyter Notebook3.6k6872347

• smithy-lang/smithy

  Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.

  Language:Java1.9k27472218

• typora/typora-issues

  Bugs, suggestions or free discussions about the minimal markdown editor — Typora

  1.5k436.2k56

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.3k2449176

• cedar-policy/cedar

  Implementation of the Cedar Policy Language

  Language:Rust9291537682

• BurntSushi/bstr

  A string type for Rust that is not required to be valid UTF-8.

  Language:Rust852139458

• nginxinc/ngx-rust

  Rust binding for NGINX

  Language:Rust765204265

• awslabs/shuttle

  Shuttle is a library for testing concurrent Rust code

  Language:Rust710192336

• earthstar-project/earthstar

  Storage for private, distributed, offline-first applications.

  Language:TypeScript6402014120

• JuliaSymbolics/Metatheory.jl

  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

  Language:Julia3661312545

• wvwwvwwv/scalable-concurrent-containers

  High-performance containers and utilities for concurrent and asynchronous programming

  Language:Rust3631112418

• duchess-rs/duchess

  Silky smooth Java-Rust interop

  Language:Rust16287717

• creachadair/imath

  Arbitrary precision integer and rational arithmetic library

  Language:C13373220

• muchobien/tailscale-ui

  Tailscale UI for Ubuntu

  Language:Go632111

• awslabs/duvet

  A requirements traceability tool

  Language:Rust62113411

• ashton314/muKanren_reading

  [Mirror] A close reading of the μKanren paper.

  Language:Racket41321

• laurynas-biveinis/unodb

  Adaptive Radix Tree in C++

  Language:C++382134

• pkhuong/reciprocal

  Faster division by constants that aren't known at compile-time

  Language:Rust24200

• jupytercalpoly/jupyterlab-comments

  Comment on files and notebooks in JupyterLab

  Language:TypeScript184728

• jupytercalpoly/jupyterlab-notifications

  Toast notifications for JupyterLab

  Language:TypeScript92308

• verus-lang/verified-memory-allocator

  A memory allocator verified with Verus

  Language:Rust7403

• jupytercalpoly/jupyterlab-todo

  To-do lists for JupyterLab

  Language:TypeScript61134

• lucbouchard1/wordle-solver

  Language:Python3201

• lucbouchard1/marimba

  Language:C1200

• lucbouchard1/poker-public

  Language:TypeScript1200

• mhfisher/wordlebot

  Bot to win Wordle.

  Language:Python110

• tyfkda/PentominoSolver

  Language:Rust120

• vdinovi/hash_table

  Language:C1100