Jesin

Jesin's Stars

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust57k4495.9k3k

• facebook/zstd

  Zstandard - Fast real-time compression algorithm

  Language:C24k4101.4k2.1k

• google/oss-fuzz

  OSS-Fuzz - continuous fuzzing for open source software.

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

• lz4/lz4

  Extremely Fast Compression algorithm

  Language:C10.5k2475661.4k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.5k1825.6k1.5k

• htop-dev/htop

  htop - an interactive process viewer

  Language:C6.6k61662439

• OpenMathLib/OpenBLAS

  OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.

  Language:C6.5k2032.3k1.5k

• MariaDB/server

  MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stable, and sanely licensed open SQL server in the industry.

  Language:C++5.8k27201.7k

• xiph/opus

  Modern audio compression for the internet.

  Language:C2.4k97236626

• techgaun/active-forks

  Find active github forks of a repo https://git.io/vSnrC

  Language:JavaScript2.3k2952301

• mathjax/MathJax-src

  MathJax source code for version 3 and beyond

  Language:TypeScript2.1k37169209

• sbcl/sbcl

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

  Language:Common Lisp1.9k1210324

• xiph/flac

  Free Lossless Audio Codec

  Language:C1.7k68252285

• intel/Intel-Linux-Processor-Microcode-Data-Files

  6731008172

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65317862

• Xe/site

  The new frontend/backend code for https://xeiaso.net

  Language:MDX6491671115

• egraphs-good/egglog

  egraphs + datalog!

  Language:Rust4711516955

• compiling-to-categories/concat

  Compiling to Categories

  Language:Haskell439295050

• innative-sdk/innative

  A native non-web embedding of WebAssembly for Windows/Linux

  Language:C++390135815

• hjl-tools/x86-psABI

  38631644

• argtable/argtable3

  A single-file, ANSI C, command-line parsing library that parses GNU-style command-line options.

  Language:C380166265

• ponylang/pony-tutorial

  :horse: Tutorial for the Pony programming language

  Language:Markdown31933167111

• jrbudda/KerbalEngineer

  Kerbal Engineer v1.0 (current in-development build).

  Language:C#242288130

• S-C-A-N/SCANsat

  Real Scanning, Real Science, at Warp Speed!

  Language:C#2193425597

• TriggerAu/KerbalAlarmClock

  A time management and utility plugin for Kerbal Space Program

  Language:C#1822621353

• kazu-yamamoto/pgpdump

  A PGP packet visualizer

  Language:C174111434

• Arrowstar/ksptot

  KSP Trajectory Optimization Tool

  Language:MATLAB9383414

• scryfall/manamoji-slack

  Slack emojis for Magic card symbols. Used by Scryfall’s Slack bot.

  25935

• Fundament-Software/Alicorn0

  The Alicorn language, currently in development and unstable

  Language:Lua5646

• GiovanH/rubybot-v3

  A bespoke chatbot

  Language:Python1