Alternatives and similar repositories for twitchctw:

Users that are interested in twitchctw are comparing it to the libraries listed below

• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆108Updated 4 years ago
• geohot / coq-hardy
  Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
  ☆53Updated 5 years ago
• geohot / mergesorts
  mergesort in many languages
  ☆262Updated last year
• geohot / carla
  Open-source simulator for autonomous driving research.
  ☆22Updated 4 years ago
• marcelbischoff / tinygrad
  You like pytorch? You like micrograd? You love tinygrad! ❤️
  ☆49Updated 4 years ago
• geohot / tinyvoice
  Letting computers listen to you and really care
  ☆369Updated 2 years ago
• geohot / tensorflow
  Computation using data flow graphs for scalable machine learning
  ☆13Updated 6 years ago
• tsoding / cxx-invert-file-tree
  This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.
  ☆13Updated 3 years ago
• td0m / dragons
  Dragons is an undetectable reverse TCP shell impelemntation based on websockets, but with a user-friendly web interface with support for …
  ☆12Updated 2 years ago
• angrave / SystemProgrammingProjects
  System Programming Project Ideas and Information for honors students
  ☆19Updated 9 years ago
• jart / matmul
  ☆18Updated 6 months ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆44Updated 4 years ago
• vvaltchev / mylang
  A simple programming language inspired by Python, JavaScript and C
  ☆33Updated 7 months ago
• ourbigbook / ourbigbook
  The best way to publish your scientific knowledge. Source code for the entire OurBigBook Project: OurBigBook.com, ourbigbook CLI and the …
  ☆80Updated this week
• pkrumins / busy-beaver
  Implementation of a Turing Machine that runs the Busy Beaver programs.
  ☆20Updated 15 years ago
• FedericoPonzi / awesome-distributed-systems
  A curated list of awesome distributed systems links.
  ☆24Updated last week
• smukil / chatgptredisclient
  A distributed, fault-tolerant Redis Client POC completely written by prompting ChatGPT.
  ☆15Updated 2 years ago
• amargaritov / starlit
  Hutter Prize Submission 2021a: STARLIT + cmix
  ☆99Updated last year
• ravern / zuko
  Basic Lisp-like programming language
  ☆14Updated 4 years ago
• mertyildiran / ldca
  Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)
  ☆56Updated 4 years ago
• thesephist / august
  Assembler from scratch written in Ink, supporting ELF on x86_64 and more.
  ☆25Updated 3 years ago
• haraschax / PerplexingPuzzle
  Digital version of the asymptote puzzle by perplexingpuzzles.com.au
  ☆30Updated 3 years ago
• tsoding / minicel
  Simple Excel engine without any UI
  ☆56Updated 3 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆34Updated 3 weeks ago
• emeryberger / COMPSCI-630
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆21Updated last year
• ghaiklor / awesome-internals
  A curated list of awesome resources and learning materials in the field of X internals
  ☆133Updated 5 months ago
• shobrook / neuropipe
  Easy scaffolding for machine learning pipelines in Scikit-Learn
  ☆8Updated 5 years ago
• howard36 / probase
  An online math contest platform
  ☆18Updated last month
• zeek / paraglob
  A fairly quick data structure for matching a string against a large list of patterns.
  ☆35Updated 8 months ago
• tsoding / gp
  Just a Playground Repo for my Genetic Programming experiments
  ☆15Updated 2 years ago