Alternatives and similar repositories for algdes-labs

Users that are interested in algdes-labs are comparing it to the libraries listed below

• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated 5 months ago
• exoji2e / hashcode-template
  ☆17Updated 3 years ago
• exoji2e / notebook
  ☆16Updated 9 months ago
• thorehusfeldt / git-paa-dansk
  Git på pæredansk
  ☆188Updated 8 months ago
• Courseography / courseography
  Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.
  ☆66Updated this week
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• clemlatz / polytunes
  An collaborative music game using Meteor and Web Audio
  ☆22Updated 4 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆451Updated 6 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 3 months ago
• gumho / antplanner2
  A better WebSOC for UCI
  ☆46Updated 4 years ago
• gottfired / advent-of-code-2021-copilot-edition
  ☆20Updated 3 years ago
• vincentsimard / dmitlichess
  Adds the soothing voice of Dmitri Komarov and other great chess masters to lichess.org (Google Chrome extension / Firefox Add-on)
  ☆67Updated last month
• FastFlowDebate / FastFlow
  Flowing and filing system for highschool debate
  ☆8Updated 8 years ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,152Updated last year
• neldredge / mathgen
  Generate random nonsense math papers
  ☆602Updated 5 years ago
• scala / scala3
  The Scala 3 compiler, also known as Dotty.
  ☆6,082Updated this week
• lichess-org / scalachess
  Chess API written in scala. Immutable and free of side effects.
  ☆730Updated this week
• bellroy / eaforum
  EA Forum
  ☆14Updated 6 years ago
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆86Updated 7 months ago
• cgearhart / Chessnut
  Python chess model
  ☆75Updated 8 months ago
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,879Updated this week
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,170Updated this week
• jeanqasaur / jeeves
  Python implementation of the Jeeves programming language.
  ☆336Updated 7 years ago
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,333Updated last week
• EoinDavey / Setanta
  Setanta - Teanga Ríomhchlárúcháin as Gaeilge - Irish Programming Language
  ☆94Updated 9 months ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,090Updated 2 weeks ago
• mikeizbicki / HLearn
  Homomorphic machine learning
  ☆1,626Updated 9 years ago
• aherve / giflichess
  create gif from lichess game url
  ☆24Updated 3 years ago
• online-go / online-go.com
  Source code for the Online-Go.com web interface
  ☆1,391Updated last week
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,463Updated 5 months ago