dmatysiak

dmatysiak's Stars

• mpv-player/mpv

  🎥 Command line video player

  Language:C29.3k50010.2k3k

• LadybirdBrowser/ladybird

  Truly independent web browser

  Language:C++27.3k1586241.2k

• jart/cosmopolitan

  build-once run-anywhere c library

  Language:C18.7k171566652

• kitao/pyxel

  A retro game engine for Python

  Language:Rust15.7k238413853

• wader/fq

  jq for binary formats - tool, language and decoders for working with binary and text formats

  Language:Go9.9k5074228

• sysprog21/lkmpg

  The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)

  Language:TeX7.8k15287539

• instantdb/instant

  Instant is a modern Firebase. We make you productive by giving your frontend a real-time database.

  Language:Clojure6.9k2863195

• pre-commit/pre-commit-hooks

  Some out-of-the-box hooks for pre-commit

  Language:Python5.5k45509716

• achristmascarl/rainfrog

  🐸 a database management tui for postgres

  Language:Rust3.2k174060

• srcbookdev/srcbook

  TypeScript-centric app development platform: notebook and AI app builder

  Language:TypeScript3.1k2654226

• sjpiper145/MakerSkillTree

  A repository of Maker Skill Trees and templates to make your own.

  Language:Jinja3k5718135

• HumbleUI/HumbleUI

  Clojure Desktop UI framework

  Language:Clojure1.5k496352

• commandprompt/pgmanage

  Web tool for database management

  Language:PLpgSQL677922119

• lakehq/sail

  LakeSail's computation framework with a mission to unify stream processing, batch processing, and compute-intensive (AI) workloads.

  Language:Rust598104819

• bisqwit/that_editor

  *That* editor.

  Language:C++4548522

• liam-ilan/crumb

  The Crumb Programming Language

  Language:C419678

• nrrb/tao-te-ching

  Some English interpretations of Lao Tzu's Tao Te Ching.

  Language:HTML3337144

• weinberg/SQLToy

  Learn SQL by creating a SQL database in JavaScript

  Language:JavaScript2575315

• Renmusxd/RustQIP

  Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!

  Language:Rust244112818

• tonsky/clj-reload

  Smarter way to reload Clojure code

  Language:Clojure2177115

• tonyg/syndicate

  syn·di·cate: a language for interactive programs

  Language:Racket153123411

• janestreet/ppx_let

  Monadic let-bindings

  Language:OCaml11891112

• asciidoctor/asciidoctor-latex

  :triangular_ruler: Add LaTeX features to AsciiDoc & convert AsciiDoc to LaTeX

  Language:Ruby116166426

• fosd-project/FOSD

  Framework of Operating System Development

  Language:C++107400

• dvanhorn/redex-aam-tutorial

  An Introduction to Redex with Abstracting Abstract Machines

  Language:Racket10111414

• blanchette/logical_verification_2023

  Hitchhiker's Guide to Logical Verification (2023 Edition)

  Language:Lean942320

• formancehq/numscript

  Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-prone custom code with easy-to-read, declarative scripts.

  Language:Go84333

• bbatsov/adoc-mode

  A major-mode for editing AsciiDoc files in Emacs

  Language:Emacs Lisp716298

• lanl/QA-Prolog

  Quantum Annealing Prolog

  Language:Go39937

• CDouglasHoward13/Metropolis

  Implementation of "The Metropolis Algorithm: Theory and Examples"

  Language:C++33106