anasazi

anasazi's Stars

• ossu/computer-science

  🎓 Path to a free self-taught education in Computer Science!

  171k5.8k64221.6k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust33.7k902.5k906

• vadimdemedes/ink

  🌈 React for interactive command-line apps

  Language:TypeScript26.5k108346597

• chubin/wttr.in

  :partly_sunny: The right way to check the weather

  Language:Python24.6k2246641.1k

• mxgmn/WaveFunctionCollapse

  Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

  Language:C#23.3k502501.2k

• hmemcpy/milewski-ctfp-pdf

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

  Language:TeX11k244162587

• apernet/OpenGFW

  OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux

  Language:Go9.6k6869724

• noDRM/DeDRM_tools

  DeDRM tools for ebooks

  Language:Python7.1k143533318

• adam-maj/tiny-gpu

  A minimal GPU design in Verilog to learn how GPUs work from the ground up

  Language:SystemVerilog7k6823523

• jart/blink

  tiniest x86-64-linux emulator

  Language:C6.9k6474218

• charmbracelet/soft-serve

  The mighty, self-hostable Git server for the command line🍦

  Language:Go5.3k32170135

• wabarc/wayback

  An archiving tool with an IM-style interface that prioritizes privacy and accessibility, integrated with various archival services including Internet Archive, archive.today, Ghostarchive, IPFS, Telegraph, and file systems.

  Language:Go1.8k107964

• taviso/123elf

  A native port of Lotus 1-2-3 to Linux.

  Language:C1.2k248859

• forgefed/forgefed

  ForgeFed - Federation Protocol for Forge Services

  Language:Bikeshed9871112613

• google/simhospital

  Language:Go671181377

• hubisan/emacs-wsl

  Install and run Emacs with the Windows Subsystem for Linux (WSL 2) in Windows 10 or 11.

  Language:CSS568193943

• SUPERCILEX/fuc

  Modern, performance focused unix commands

  Language:Rust34610308

• coq-community/awesome-coq

  A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

  308141219

• dariusk/twitter-archiver

  Make your own simple, public, searchable Twitter archive

  Language:JavaScript2994519

• themetaschemer/malt

  Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

  Language:Racket213123825

• ComputationalDomain/PINNs

  Language:Jupyter Notebook1651246

• DFortun81/AllTheThings

  ALL THE THINGS - Addon for Tracking Collections & Account Completion in World of Warcraft

  Language:Lua132161.2k91

• alhassy/gentle-intro-to-reflection

  A slow-paced introduction to reflection in Agda. ---Tactics!

  Language:Agda926010

• AraNaldinho/Applying-uml-and-patterns-3rd-editiom

  applying uml and patterns by craig larman...3rd edition

  553121

• WowRarity/Rarity

  Collectibles and statistics tracking addon for World of Warcraft

  Language:Lua55645535

• HnimNart/deeplearning

  Language:Futhark54714

• coq-community/semantics

  A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]

  Language:Coq45824

• freeman42x/awesome-agda-programming

  Awesome Agda Programming

  15403

• akiomik/plfa-solutions

  Solutions for PLFA (Programming Language Foundations in Agda) exercise

  Language:Agda730

• kaa1el/plfa_solution

  solution to the exercises from https://plfa.github.io/

  Language:Agda41