tytus-metrycki

tytus-metrycki's Stars

• MetaCoq/metacoq

  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Language:Coq38482

• OpenASR/idiolect

  🎙️ Handsfree Audio Development Interface

  Language:Kotlin9411

• audemard/glucose

  The glucose SAT solver

  Language:C++8115

• fonsp/Pluto.jl

  🎈 Simple reactive notebooks for Julia

  Language:JavaScript5k293

• EmilHernvall/dnsguide

  A guide to writing a DNS Server from scratch in Rust

  4.1k260

• ytdl-org/youtube-dl

  Command-line program to download videos from YouTube.com and other video sites

  Language:Python133k10k

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust22.8k362

• google/benchmark

  A microbenchmark support library

  Language:C++9k1.6k

• tmux/tmux

  tmux source code

  Language:C35.5k2.1k

• urweb/urweb

  The Ur/Web programming language

  Language:Standard ML80866

• banach-space/clang-tutor

  A collection of out-of-tree Clang plugins for teaching and learning

  Language:C++70464

• kbuzzard/xena

  Lean Library currently studying for a degree at Imperial College

  Language:Lean22822

• TikhonJelvis/RL-book

  Language:Python523328

• magit/transient

  Transient commands

  Language:Emacs Lisp71466

• ethereumbook/ethereumbook

  Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood

  Language:JavaScript20k4.9k

• nasa/fprime

  F´ - A flight software and embedded systems framework

  Language:C++10.1k1.3k

• banach-space/llvm-tutor

  A collection of out-of-tree LLVM passes for teaching and learning

  Language:C++3k395

• DOMjudge/domjudge

  DOMjudge programming contest jury system

  Language:PHP737258

• atlas-engineer/nyxt

  Nyxt - the hacker's browser.

  Language:Common Lisp9.9k413

• denoland/deno

  A modern runtime for JavaScript and TypeScript.

  Language:Rust98k5.4k

• boppreh/keyboard

  Hook and simulate global keyboard events on Windows and Linux.

  Language:Python3.8k435

• sveltejs/svelte

  web development for the rest of us

  Language:JavaScript80.1k4.3k

• vEnhance/napkin

  An Infinitely Large Napkin

  Language:TeX1.2k126

• vilmibm/prosaic

  cut-up poetry generation over large corpora

  Language:Python12321

• EgbertRijke/HoTT-Intro

  An introductory course to Homotopy Type Theory

  Language:Agda36228

• overtone/overtone

  Collaborative Programmable Music

  Language:Clojure5.9k449

• pashky/restclient.el

  HTTP REST client tool for emacs

  Language:Emacs Lisp2k171

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java52k5.9k

• a-b-street/abstreet

  Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

  Language:Rust7.8k346

• s-matyukevich/raspberry-pi-os

  Learning operating system development using Linux kernel and Raspberry Pi

  Language:C13.2k1.3k