vchekan

vchekan's Stars

• meilisearch/meilisearch

  A lightning-fast search API that fits effortlessly into your apps, websites, and workflow

  Language:Rust46.4k2862k1.8k

• logseq/logseq

  A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

  Language:Clojure32k2147.6k1.9k

• makeplane/plane

  🔥 🔥 🔥 Open Source JIRA, Linear, Monday, and Asana Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.

  Language:TypeScript29.1k1129361.6k

• servo/servo

  Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

  Language:Rust27.8k50712.5k3k

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.6k4828.5k4.9k

• bytecodealliance/wasmtime

  A fast and secure runtime for WebAssembly

  Language:Rust15.1k1802.5k1.3k

• fdehau/tui-rs

  Build terminal user interfaces and dashboards using Rust

  Language:Rust10.8k76300483

• linebender/druid

  A data-first Rust-native UI design toolkit.

  Language:Rust9.5k101814566

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.3k56951329

• open-telemetry/opentelemetry-specification

  Specifications for OpenTelemetry

  Language:Makefile3.7k1541.7k886

• tokio-rs/console

  a debugger for async rust!

  Language:Rust3.5k28177138

• gqrx-sdr/gqrx

  Software defined radio receiver powered by GNU Radio and Qt.

  Language:C++3k167852537

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3k2734187

• bastion-rs/bastion

  Highly-available Distributed Fault-tolerant Runtime

  Language:Rust2.8k59112101

• salsa-rs/salsa

  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

  Language:Rust2.1k33194143

• enkimute/ganja.js

  :triangular_ruler: Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

  Language:JavaScript1.5k37124106

• tensorbase/tensorbase

  TensorBase is a new big data warehousing with modern efforts.

  Language:Rust1.4k37106116

• rs-ipfs/rust-ipfs

  The InterPlanetary File System (IPFS), implemented in Rust.

  Language:Rust1.3k42150163

• f4pga/prjxray

  Documenting the Xilinx 7-series bit-stream format.

  Language:Python75560478148

• ggrossetie/asciidoctor-web-pdf

  Convert AsciiDoc documents to PDF using web technologies

  Language:JavaScript4481020392

• apalache-mc/apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  Language:Scala42791.2k40

• YosysHQ/prjtrellis

  Documenting the Lattice ECP5 bit-stream format.

  Language:Python396357086

• ringbahn/iou

  Rust interface to io_uring

  Language:Rust326152122

• Byte-Lab/JCoz

  JCoz -- A Java causal profiler

  Language:Java273114620

• FrameworkComputer/inputmodule-rs

  Framework Laptop 16 Input Module SW/FW

  Language:Rust223113324

• StardustDL/Linq-in-Rust

  Language Integrated Query in Rust.

  Language:Rust127357

• withoutboats/waitmap

  Language:Rust1224911

• Ganon-M/ergodox-vim-ubuntu

  An Ergodox EZ layout optimised for Vim and Ubuntu usage

  Language:C113513

• jet/FsKafka

  Minimal F# wrappers for Confluent.Kafka+librdkafka.redist 1.x

  Language:F#87382217

• dubrousky/mockmma

  Language:Common Lisp28306