Alternatives and similar repositories for Spring-2021-Notes

Users that are interested in Spring-2021-Notes are comparing it to the libraries listed below

• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆27Updated 4 months ago
• Tim-ats-d / Punchboy
  Drop some lyrics and highlights the rhymes with colors
  ☆13Updated 2 years ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆17Updated 9 months ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• acorrenson / minilog
  A verified Implementation of a mini prolog
  ☆15Updated 2 years ago
• acmutd / help-guide
  A starter-guide for all things at UT Dallas
  ☆27Updated 4 years ago
• johnfraserss / ICS4U
  ICS4U Course for John Fraser SS
  ☆24Updated last year
• ebonelli / PLaF
  Notes and source code for a semester-long course introducing Programming Language fundamentals
  ☆37Updated 3 weeks ago
• Tim-ats-d / Postem-markup
  Fast and easy notes taking oriented markup language.
  ☆22Updated 2 years ago
• meta-logic / sequoia-v0
  Design, play with, and analyze sequent calculus proof systems.
  ☆13Updated 9 months ago
• SimonHauguel / Paso
  Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
  ☆29Updated 2 years ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• Tim-ats-d / Macron
  A powerful keybind library and daemon for Linux.
  ☆11Updated 2 years ago
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 4 years ago
• JacquesCarette / COMPSCI3MI3-F2023
  Public course materials for COMPSCI 3MI3, Fall 2023 version
  ☆13Updated last year
• zilch-lang / nstar
  The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch
  ☆29Updated 2 years ago
• herbelin / cours-preuves-ordinateur
  Page du cours preuves assistées par ordinateur 2021
  ☆15Updated last month
• umd-cmsc330 / fall2022
  ☆31Updated 2 years ago
• ocamllibs / clangml
  OCaml bindings for Clang
  ☆16Updated last week
• nathaniel-carre / MPI-LLG
  Ressources pour la classe de MPI* à Louis-le-Grand
  ☆20Updated 2 weeks ago
• boystrange / FuSe
  A simple library implementation of binary sessions
  ☆10Updated last year
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 5 years ago
• madsobitsoe / CATITOR
  The extremely portable, extremely extensible line editor
  ☆13Updated 3 years ago
• zilch-lang / specification
  A complete specification on Zilch and N⋆
  ☆10Updated 2 years ago
• marcelgoh / opythn
  A compiler and bytecode interpreter for a subset of Python
  ☆10Updated 4 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• Psi-Prod / Mehari
  A cross-platform library for building Gemini servers
  ☆37Updated last week
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 4 months ago
• yforster / coqtheorem
  A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
  ☆16Updated 6 years ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆21Updated 2 weeks ago