dzuvic

dzuvic's Stars

• jhspetersson/fselect

  Find files with SQL-like queries

  Language:Rust4k84

• microsoft/vcpkg

  C++ Library Manager for Windows, Linux, and MacOS

  Language:CMake23.3k6.5k

• grafana/pyroscope

  Continuous Profiling Platform. Debug performance issues down to a single line of code

  Language:Go10.1k614

• lunatic-solutions/lunatic

  Lunatic is an Erlang-inspired runtime for WebAssembly

  Language:Rust4.6k138

• EgbertRijke/HoTT-Intro

  An introductory course to Homotopy Type Theory

  Language:Agda36228

• livecoders/Home

  Information about the LiveCoders and how to join the team

  43330

• jgm/pandoc

  Universal markup converter

  Language:Haskell34.8k3.4k

• amandaghassaei/OrigamiSimulator

  Realtime WebGL origami simulator

  Language:JavaScript1.1k140

• rohanrhu/gdb-frontend

  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.

  Language:JavaScript2.9k100

• mmozeiko/aes-finder

  Utility to find AES keys in running processes

  Language:C++964176

• servo/servo

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

  Language:Rust28.5k3k

• bevyengine/bevy-website

  The source files for the official Bevy website

  Language:JavaScript199347

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust36.4k3.6k

• emilk/egui

  egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

  Language:Rust22.5k1.6k

• homenc/HElib

  HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.

  Language:C++3.2k761

• linebender/druid

  A data-first Rust-native UI design toolkit.

  Language:Rust9.6k566

• containers/podman

  Podman: A tool for managing OCI containers and pods.

  Language:Go24k2.4k

• hediet/vscode-drawio

  This unofficial extension integrates Draw.io (also known as diagrams.net) into VS Code.

  Language:TypeScript9.1k422

• RockstarLang/rockstar

  Home of the Rockstar programming language

  Language:JavaScript6.9k222

• makenowjust/quine

  Quine Museum

  Language:Eiffel3319

• BurntSushi/xsv

  A fast CSV command line toolkit written in Rust.

  Language:Rust10.4k323

• capnproto/capnproto

  Cap'n Proto serialization/RPC system - core tools and C++ library

  Language:C++11.7k927

• KillingSpark/rustysd

  A service manager that is able to run "traditional" systemd services, written in rust

  Language:Rust50615

• jepsen-io/jepsen

  A framework for distributed systems verification, with fault injection

  Language:Clojure6.8k718

• plv8/plv8

  V8 Engine Javascript Procedural Language add-on for PostgreSQL

  Language:C++1.9k144

• OneSparse/OneSparse

  Accelerated Sparse Linear Algebra with Postgres and SuiteSparse

  Language:C36624

• sb12/OSMStreetLight

  Language:JavaScript356

• hoppscotch/hoppscotch

  Open source API development ecosystem - https://hoppscotch.io (open-source alternative to Postman, Insomnia)

  Language:TypeScript65.8k4.6k

• bytecodealliance/wasmtime

  A fast and secure runtime for WebAssembly

  Language:Rust15.4k1.3k

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k197