lukeswissman

lukeswissman's Stars

• bitcoin/bitcoin

  Bitcoin Core integration/staging tree

  Language:C++80.8k4k8.3k36.6k

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust56.9k4495.9k3k

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.4k3836121.5k

• automerge/automerge-classic

  A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

  Language:JavaScript14.7k200276466

• tokio-rs/tracing

  Application level tracing for Rust.

  Language:Rust5.6k551.1k732

• tonsky/datascript

  Immutable database and Datalog query engine for Clojure, ClojureScript and JS

  Language:Clojure5.5k150315309

• facebookresearch/PyTorch-BigGraph

  Generate embeddings from large-scale graph-structured data.

  Language:Python3.4k89196451

• TimelyDataflow/differential-dataflow

  An implementation of differential dataflow using timely dataflow on Rust.

  Language:Rust2.6k48162184

• bazelbuild/starlark

  Starlark Language

  Language:Starlark2.5k57146164

• mozilla/fathom

  A framework for extracting meaning from web pages

  Language:JavaScript2k5515775

• graph4ai/graph4nlp

  Graph4nlp is the library for the easy use of Graph Neural Networks for NLP. Welcome to visit our DLG4NLP website (https://dlg4nlp.github.io/index.html) for various learning resources!

  Language:Python1.7k30172202

• rustsec/rustsec

  RustSec API & Tooling

  Language:Rust1.6k20322140

• clojure/core.logic

  A logic programming library for Clojure & ClojureScript

  Language:Clojure1.5k1040123

• vmware/differential-datalog

  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

  Language:Java1.4k31417122

• google/mangle

  Language:Go1.1k221738

• noprompt/meander

  Tools for transparent data transformation

  Language:Clojure928329955

• rust-lang/datafrog

  A lightweight Datalog engine in Rust

  Language:Rust801481245

• mattgodbolt/seasocks

  Simple, small, C++ embeddable webserver with WebSockets support

  Language:C++7403998119

• facebookexperimental/starlark-rust

  A Rust implementation of the Starlark language

  Language:Rust581387647

• UgurcanAkkok/AreWeRustYet

  Awesome list of "Are We *thing* Yet" for Rust

  543231217

• nickbalestra/kactus

  Cactus's default theme on Jekyll

  Language:CSS392823161

• TimelyDataflow/abomonation

  A mortifying serialization library for Rust

  Language:Rust32292030

• facebookresearch/kbc

  Tools for state of the art Knowledge Base Completion.

  Language:Python253572237

• frankmcsherry/dynamic-datalog

  Engines, queries, and data for dynamic Datalog computation

  Language:Rust1211138

• knowsys/nemo

  A fast in-memory rule engine

  Language:Rust8792577

• Kixiron/ddshow

  Visualization for Timely Dataflow and Differential Dataflow programs

  Language:Rust675134

• jonhoo/sento

  A lock-free, append-only atomic pool.

  Language:Rust66302

• potassco/clingo-rs

  🗝️ Rust bindings to the clingo library

  Language:Rust295189

• Kixiron/sruth

  Sruth Lùbach: A toy optimization engine

  Language:Rust23501

• rkaminsk/vim-syntax-clingo

  📜 Syntax highlighting and auto indentation for clingo/gringo.

  Language:Vim script11101