Alternatives and similar repositories for cs310:

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

• Department-of-Administrative-Affairs / DM-CS-2-answers
  ☆22Updated last year
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆14Updated 4 months ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆328Updated this week
• claytonwramsey / fiddler
  A UCI-compatible chess engine, written in Rust. Currently in developlent.
  ☆25Updated 8 months ago
• howtoosee / 9597_H2_Computing
  Notes for GCE 'A' Levels 9597 H2 Computing
  ☆17Updated 4 years ago
• Aneurysm9 / vm_challenge
  ☆151Updated last year
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆281Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆220Updated last week
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆45Updated last month
• bnjmnt4n / canvas-downloader
  Downloader for Canvas written in Rust
  ☆36Updated 7 months ago
• Person314159 / cs221bot
  ☆31Updated 2 years ago
• ucsd-cse12-w21 / ucsd-cse12-w21.github.io
  ☆19Updated 3 years ago
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆26Updated 6 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆622Updated 9 months ago
• FAU-AMMN / fau-book
  LaTeX template for theses and lecture notes
  ☆11Updated last year
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated 3 weeks ago
• leanprover-community / NNG4
  Natural Number Game
  ☆127Updated 2 weeks ago
• leanprover / elan
  The Lean version manager
  ☆331Updated this week
• ccz181078 / Coq-BB5
  ☆165Updated last month
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 2 months ago
• fenjalien / obsidian-typst
  Renders typst code blocks in Obsidian into images using Typst through the power of WASM!
  ☆371Updated 2 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆282Updated 2 months ago
• hwd404 / FOLD-R-PP
  The implementation of FOLD-R++ algorithm
  ☆17Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆36Updated last year
• christopher-besch / maki
  Interactive and Programmatic Animation Development; or: How to Time Travel?
  ☆17Updated 2 years ago
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated last month
• Oliveriver / 5d-diplomacy-with-multiverse-time-travel
  5D Diplomacy With Multiverse Time Travel
  ☆218Updated last month
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆222Updated last month
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆378Updated this week