agentultra

agentultra's Stars

• AdguardTeam/AdGuardHome

  Network-wide ads & trackers blocking DNS server

  Language:Go26.5k2945.5k1.9k

• Raphire/Win11Debloat

  A simple, easy to use PowerShell script to remove pre-installed apps from Windows, disable telemetry, remove Bing from Windows search as well as perform various other changes to declutter and improve your Windows experience. This script works for both Windows 10 and Windows 11.

  Language:PowerShell16.3k118136695

• minetest/minetest

  Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

  Language:C++11k3177.9k2.1k

• rui314/chibicc

  A small C compiler

  Language:C9.9k175111893

• owncast/owncast

  Take control over your live stream video by running it yourself. Streaming + chat out of the box.

  Language:Go9.7k1002.1k904

• sysprog21/lkmpg

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

  Language:TeX7.8k15287540

• radian-software/straight.el

  🍀 Next-generation, purely functional package manager for the Emacs hacker.

  Language:Emacs Lisp2.8k44841151

• stemrollerapp/stemroller

  Isolate vocals, drums, bass, and other instrumental stems from any song

  Language:Svelte2.7k2753113

• joelparkerhenderson/queueing-theory

  Queueing theory: an introduction for software development

  2.1k44171

• hirrolot/datatype99

  Algebraic data types for C99

  Language:C1.4k141523

• eugene-khyst/postgresql-event-sourcing

  A reference implementation of an event-sourced system that uses PostgreSQL as an event store built with Spring Boot. Fork the repository and use it as a template for your projects. Or clone the repository and run end-to-end tests to see how everything works together.

  Language:Java1.1k1411102

• flipacholas/Architecture-of-consoles

  Technical articles about console architecture

  9062812964

• p3r7/awesome-elisp

  🏵️ A curated list of Emacs Lisp development resources

  809351336

• misohena/el-easydraw

  Embedded drawing tool for Emacs

  Language:Emacs Lisp793172521

• panglesd/slipshow

  An engine for displaying slips, the next-gen version of slides

  Language:HTML66473412

• gavinwahl/postgres-json-schema

  JSON Schema validation for PostgreSQL

  Language:PLpgSQL495181234

• btco/qx82

  Tiny Javascript engine for retro games

  Language:JavaScript4296920

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript38083411

• zwegner/x86-sat

  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

  Language:Python3176313

• emacs-love/weblorg

  Static Site Generator for Emacs

  Language:Emacs Lisp28785321

• skullchap/neverflow

  Set of macros that guard against buffer overflows. Based on C99 VLA feature.

  Language:C129202

• conal/Collaboration

  Play/learn/work with me

  951601

• larryboyko/dimityjones

  electronic escape novel requiring readers to solve puzzles before reading the next chapter

  91306

• rougier/sideframe

  Emacs side frames

  Language:Emacs Lisp87252

• eras/tlsd

  Generate (message) sequence diagrams from TLA+ state traces

  Language:Python73211

• j6k4m8/epistolary

  Language:Python58141

• NorfairKing/really-safe-money

  Uncompromisingly safe money library

  Language:Haskell46422

• juspay/jrec

  Literally the best anonymous records

  Language:Haskell3518137

• parsonsmatt/data-diff

  An approach to diffing values and records.

  Language:Haskell733

• andrewthad/quantification

  Data types and type classes for universally and existentially quantified types

  Language:Haskell4533