hbbio

hbbio's Stars

• LadybirdBrowser/ladybird

  Truly independent web browser

  Language:C++2k88

• wallix/PEPS-source

  Source code of MLstate/PEPS

  Language:Opa73

• monogon-dev/monogon

  The Monogon Monorepo. May contain traces of peanuts and a ✨pure Go Linux userland✨. Work in progress!

  Language:Go3718

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.1k247

• okcontract/cells

  Simplified reactive functional programming for the web

  Language:TypeScript50

• huggingface/candle

  Minimalist ML framework for Rust

  Language:Rust14k776

• alchemix-finance/migrate2balancer

  Language:Solidity3

• neovide/neovide

  No Nonsense Neovim Client in Rust

  Language:Rust12.2k499

• pop-os/cosmic-edit

  COSMIC Text Editor

  Language:Rust20438

• evmar/retrowin32

  windows emulator

  Language:Rust50720

• ethereum/sourcify

  Decentralized Solidity contract source code verification service

  Language:TypeScript742363

• gvinciguerra/PGM-index

  🏅State-of-the-art learned data structure that enables fast lookup, predecessor, range searches and updates in arrays of billions of items using orders of magnitude less space than traditional indexes

  Language:C++76988

• lambci/serverless-actions

  Serverless GitHub Actions

  1606

• beekeeper-studio/beekeeper-studio

  Modern and easy to use SQL client for MySQL, Postgres, SQLite, SQL Server, and more. Linux, MacOS, and Windows.

  Language:TypeScript15.5k1k

• keys-pub/keys

  Key management is hard

  Language:Go90927

• thomasokken/free42

  Free42 : An HP-42S Calculator Simulator

  Language:C++27553

• aahung/Unshaky

  A software attempt to address the "double key press" issue on Apple's butterfly keyboard [not actively maintained]

  Language:Swift3k117

• texmacs/texmacs

  Source Code of GNU TeXmacs, Developers Guide ==>

  Language:Tcl58568

• probcomp/Gen.jl

  A general-purpose probabilistic programming system with programmable inference

  Language:Julia1.8k159

• openai/gpt-2

  Code for the paper "Language Models are Unsupervised Multitask Learners"

  Language:Python21.5k5.4k

• sile-typesetter/sile

  The SILE Typesetter — Simon’s Improved Layout Engine

  Language:Lua1.6k97

• jung-kurt/gofpdf

  A PDF document generator with high level support for text, drawing and images

  Language:Go4.3k766

• anmonteiro/ocaml-h2

  An HTTP/2 implementation written in pure OCaml

  Language:OCaml30430

• xavierleroy/cryptokit

  A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

  Language:C9422

• backtracking/ocamlgraph

  OCaml graph library

  Language:OCaml22563

• patoline/patoline

  Patoline typesetting system

  Language:OCaml18411

• lerna/lerna

  :dragon: Lerna is a fast, modern build system for managing and publishing multiple JavaScript/TypeScript packages from the same repository.

  Language:TypeScript35.5k2.2k

• olive-editor/olive

  Free open-source non-linear video editor

  Language:C++7.9k541

• allinurl/goaccess

  GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

  Language:C17.7k1.1k

• bytecodealliance/wasm-micro-runtime

  WebAssembly Micro Runtime (WAMR)

  Language:C4.6k576