Alternatives and similar repositories for leccapdl

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

• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆65Updated this week
• ccz181078 / Coq-BB5
  ☆351Updated 3 months ago
• lucillablessing / thebestwaytocount
  script, footnotes, and other TeX files for the video essay "the best way to count"
  ☆86Updated 2 years ago
• stew675 / standup5x5
  Solutions to Stand Up Maths 5x5 Unique 25 letter problem
  ☆128Updated 2 years ago
• codereport / hoogle-translate
  ☆112Updated last month
• SheafificationOfG / based-cpp
  C++ is the based interpreted language
  ☆274Updated 2 weeks ago
• cubedhuang / college-board-pseudocode-interpreter
  An interpreter for College Board's specified pseudocode for the AP Computer Science Principles Exam.
  ☆12Updated 2 years ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated 4 months ago
• ysthakur / everything.rs
  A port of everything to Rust 🦀
  ☆18Updated 2 years ago
• PsychoLlama / recommendations
  A list of the most impactful things I go out of my way to recommend.
  ☆19Updated this week
• raiguard / dotfiles
  This project has migrated to Codeberg: https://codeberg.org/raiguard/dotfiles
  ☆12Updated 11 months ago
• FRCteam3952 / FRC2023
  2022 - 2023 Season Robot Code
  ☆11Updated 2 years ago
• sebastianotronto / fmctutorial
  A tutorial for solving the Rubik's Cube with as few moves as possible.
  ☆33Updated 9 months ago
• qter-project / qter
  The human-friendly Rubik's Cube computer (WIP)
  ☆51Updated this week
• kartva / keymashed
  Mash! your keyboard to make your internet better - installation at Purdue Hackers' BURST
  ☆44Updated 2 months ago
• imnotpoz / nixwebr.ing
  the nix webring
  ☆29Updated last week
• SylvanFranklin / nonsense
  Nonsensical Math Paper Generator
  ☆260Updated 3 months ago
• tzx / NNJR
  NNJR: NNJR is Not Jake's Resume. However, it is similar and is written in Typst!
  ☆104Updated 2 years ago
• vivaansinghvi07 / dreamberd-interpreter
  Interpreter for the perfect programming language
  ☆404Updated 11 months ago
• opensteno / plover-flake
  Nix Flake for Plover
  ☆21Updated this week
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆676Updated 3 years ago
• alex-s168 / uiuac
  ARCHIVED; will be rewritten eventually
  ☆11Updated 3 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆269Updated 3 months ago
• iczelia / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆528Updated 4 months ago
• konne88 / functorio
  ☆283Updated 2 months ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• mcb-dev / mCodingBot
  The Discord bot for the mCoding Discord server.
  ☆12Updated 2 years ago
• vexide / vexide
  Open-source Rust runtime for VEX robots.
  ☆66Updated last week
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆19Updated last year
• ucsd-cse125-sp24 / group3
  Wrath of Zeus: 3v1 maze escape for UCSD CSE125
  ☆11Updated last year