bachdavi

bachdavi's Stars

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig33.7k2.5k

• JuliaTesting/ReTestItems.jl

  Run testitems in parallel.

  Language:Julia287

• RelationalAI/rai-sdk-julia

  The RelationalAI Software Development Kit (SDK) for Julia.

  Language:Julia181

• JuliaLang/julia

  The Julia Programming Language

  Language:Julia45.4k5.5k

• gcv/julia-snail

  An Emacs development environment for Julia

  Language:Emacs Lisp23323

• RelationalAI-oss/Salsa.jl

  Language:Julia653

• MaterializeInc/materialize

  The Cloud Operational Data Store: use SQL to transform, deliver, and act on fast-changing data.

  Language:Rust5.7k466

• bachdavi/Dotfiles

  My personal setup

  Language:Emacs Lisp1

• JuliaEditorSupport/julia-emacs

  Julia support in Emacs.

  Language:Emacs Lisp28662

• emacs-jupyter/jupyter

  An interface to communicate with Jupyter kernels.

  Language:Emacs Lisp92990

• rust-lang/rust-mode

  Emacs configuration for Rust

  Language:Emacs Lisp1.1k178

• clap-rs/clap

  A full featured, fast Command Line Argument Parser for Rust

  Language:Rust14k1k

• TimelyDataflow/diagnostics

  Diagnostic tools for timely dataflow computations

  Language:Rust4210

• frankmcsherry/dynamic-datalog

  Engines, queries, and data for dynamic Datalog computation

  Language:Rust1218

• daviderestivo/homebrew-emacs-head

  GNU Emacs formula for the Homebrew package manager

  Language:Ruby29630

• bachdavi/differential-aggregate-query

  An incremental implementation of the Functional Aggregate Query (FAQ) framework in Differential Dataflow

  Language:Rust61

• jkitchin/org-ref

  org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

  Language:Emacs Lisp1.4k242

• probcomp/metaprob

  An embedded language for probabilistic programming and meta-programming.

  Language:JavaScript16717

• clojure-vim/async-clj-omni

  Async Clojure Completion for various (n)vim completion engines

  Language:Python507

• TimelyDataflow/timely-dataflow

  A modular implementation of timely dataflow in Rust

  Language:Rust3.3k272

• TimelyDataflow/differential-dataflow

  An implementation of differential dataflow using timely dataflow on Rust.

  Language:Rust2.5k183

• comnik/declarative-dataflow

  A reactive query engine built on differential dataflow.

  Language:Rust31328

• sixthnormal/clj-3df

  Clojure(Script) client for Declarative Dataflow.

  Language:Clojure32813

• clojure/clojure

  The Clojure programming language

  Language:Java10.4k1.5k

• bachdavi/qugen

  A library for writing, validating and compiling quantum algorithms

  Language:Clojure3