wisebaldone

wisebaldone's Stars

• kamranahmedse/developer-roadmap

  Interactive roadmaps, guides and other educational content to help developers grow in their careers.

  Language:TypeScript309k6.8k2.7k40.4k

• golang/go

  The Go programming language

  Language:Go126k3.4k65.5k17.9k

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust101k1.5k56.6k13.1k

• prometheus/prometheus

  The Prometheus monitoring system and time series database.

  Language:Go57.3k1.1k5.9k9.4k

• mozilla/DeepSpeech

  DeepSpeech is an open source embedded (offline, on-device) speech-to-text engine which can run in real time on devices ranging from a Raspberry Pi 4 to high power GPU servers.

  Language:C++25.9k6752.1k4k

• google/flatbuffers

  FlatBuffers: Memory Efficient Serialization Library

  Language:C++23.8k6432.4k3.3k

• bazelbuild/bazel

  a fast, scalable, multi-language and extensible build system

  Language:Java23.7k60814.6k4.1k

• elastic/kibana

  Your window into the Elastic Stack

  Language:TypeScript20.2k84573k8.3k

• zephyrproject-rtos/zephyr

  Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

  Language:C11.4k40824k7k

• google/oss-fuzz

  OSS-Fuzz - continuous fuzzing for open source software.

  Language:Shell10.8k2562.4k2.3k

• google/skia

  Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.

  Language:C++9.5k29801.5k

• JanusGraph/janusgraph

  JanusGraph: an open-source, distributed graph database

  Language:Java5.4k2221.6k1.2k

• corda/corda

  Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart contract technology allows businesses to transact directly, with value.

  Language:Kotlin4k2966341.1k

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k1161.1k216

• kythe/kythe

  Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

  Language:C++2k843k256

• sbcl/sbcl

  Mirror of Steel Bank Common Lisp (SBCL)'s official repository

  Language:Common Lisp1.9k1220330

• bazelbuild/examples

  Examples for Bazel

  Language:Starlark85755126521

• cristianoliveira/ergo

  The management of multiple apps running over different ports made easy

  Language:Go63378259

• vellvm/vellvm

  The Vellvm (Verified LLVM) coq development.

  Language:LLVM4162124534

• verifast/verifast

  Research prototype tool for modular formal verification of C, Rust and Java programs

  Language:Rust3862627767

• google/tie

  Language:JavaScript3643622148

• project-everest/vale

  Verified Assembly Language for Everest

  Language:F#278324021

• grafana/xk6-faker

  Random fake data generator for k6.

  Language:JavaScript7352118

• MaxwellBo/well-documented

  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications

  60601

• JetBrains/ide-features-trainer

  This IntelliJ IDEA plugin helps use IDE effectively

  Language:Ruby5043118

• CSSE6400/software-architecture

  Software architecture course materials

  Language:TeX20507

• tristanduncombe/arch

  ARCH (A Recycling Centre Hub) is a mobile application that helps users find nearby recycling bins and earn rewards for recycling. ARCH was the winner of the 2024 EAIT Sustainability Hackathon! 🏆🎉

  Language:TypeScript50

• ShardeHeim/ShardeHeim.github.io

  Language:HTML1100

• wisebaldone/wisebaldone

  1300