agedburd

agedburd's Stars

• ImranR98/Obtainium

  Get Android app updates straight from the source.

  Language:Dart8.5k188

• Skardyy/makurai-theme

  a lively minimal theme, with multiple ports

  5

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k659

• eshaz/wasm-audio-decoders

  Browser and NodeJS Web Assembly audio decoder libraries that are highly optimized for size and performance.

  Language:JavaScript47525

• billc0sta/Aerospec

  Aerospec is a fully-fledged dynamic imperative programming language with functional traits.

  Language:OCaml5

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11k597

• danburzo/percollate

  A command-line tool to turn web pages into readable PDF, EPUB, HTML, or Markdown docs.

  Language:JavaScript4.3k166

• maoserr/epublifier

  Converts some webnovels to epub format

  Language:TypeScript75117

• winitzki/sofp

  A free book: "The Science of Functional Programming"

  Language:TeX1.4k97

• cline/cline

  Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

  Language:TypeScript14.5k1.2k

• Losses/rune

  Experience timeless melodies with a music player that blends classic design with modern technology.

  Language:Dart61819

• tmrts/go-patterns

  Curated list of Go design patterns, recipes and idioms

  Language:Go25.6k2.2k

• markusschanta/awesome-jupyter

  A curated list of awesome Jupyter projects, libraries and resources

  4.1k420

• ben-nour/SQL-tips-and-tricks

  SQL tips and tricks

  Language:SQL2.1k84

• veyselusta/programming-language-research

  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

  1686

• rossant/awesome-math

  A curated list of awesome mathematics resources

  Language:Python9k964

• GoogleContainerTools/distroless

  🥑 Language focused docker images, minus the operating system.

  Language:Starlark19.4k1.2k

• excalidraw/excalidraw

  Virtual whiteboard for sketching hand-drawn like diagrams

  Language:TypeScript87.5k8.3k

• HandBrake/HandBrake

  HandBrake's main development repository

  Language:C18.2k1.4k

• AbanteAI/mentat

  Mentat - The AI Coding Assistant

  Language:Python2.6k244

• kitao/pyxel

  A retro game engine for Python

  Language:Rust15.5k851

• VictorEijkhout/TheArtofHPC_pdfs

  All pdfs of Victor Eijkhout's Art of HPC books and courses

  53859

• VictorEijkhout/TheArtOfHPC_vol2_parallelprogramming

  Public repository for vol 2 of The Art of HPC: parallel programming

  Language:TeX6726

• VictorEijkhout/TheArtOfHPC_vol1_scientificcomputing

  Public repository for The Art of HPC volume 1: Scientific Computing

  Language:TeX4412

• DevToys-app/DevToys

  A Swiss Army knife for developers.

  Language:C#27.6k1.5k

• microsoft/vscode-data-wrangler

  44922

• nkanaev/yarr

  yet another rss reader

  Language:Go3k224

• frostoven/Squoosh-with-CLI

  Fork of Google's Squoosh, but with the CLI retained

  Language:TypeScript404

• rough-stuff/wired-elements

  Collection of custom elements that appear hand drawn. Great for wireframes or a fun look.

  Language:TypeScript10.5k330

• casey/just

  🤖 Just a command runner

  Language:Rust22.6k492