Alternatives and similar repositories for coursework-latex

Users that are interested in coursework-latex are comparing it to the libraries listed below

• jopetty / lecture-notes

  View on GitHub
  A compilation of lecture notes
  ☆16May 1, 2019Updated 6 years ago
• viking-sudo-rm / industrial-stacknns

  View on GitHub
  Stack neural networks applied to hefty natural language tasks.
  ☆15Dec 26, 2019Updated 6 years ago
• andrejbauer / partial-combinatory-algebras

  View on GitHub
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Jan 6, 2025Updated last year
• drmewes / vasp_tools

  View on GitHub
  Pragmatic scripts to plot and process VASP output, mostly for MD.
  ☆12Oct 15, 2020Updated 5 years ago
• hexdae / toolchains_riscv_gnu

  View on GitHub
  RISC-V bazel toolchains for GCC compilation
  ☆13Apr 5, 2024Updated last year
• jhckragh / SMLDoc

  View on GitHub
  SMLDoc, detached from the SML# distribution
  ☆11Oct 22, 2011Updated 14 years ago
• sekocha / pypolymlp

  View on GitHub
  Generator of polynomial machine learning potentials
  ☆19Updated this week
• kentookura / forest-server

  View on GitHub
  A server for the forester tool
  ☆17Dec 10, 2024Updated last year
• paolobrasolin / string-diagrams

  View on GitHub
  Create string diagrams with LaTeX!
  ☆14Jan 3, 2025Updated last year
• dspivak / dependent-types

  View on GitHub
  ☆12Mar 13, 2025Updated 11 months ago
• suzgunmirac / marnns

  View on GitHub
  MARNNs Can Learn Generalized Dyck Languages
  ☆12Nov 11, 2019Updated 6 years ago
• aramallo / CTKConcurrency

  View on GitHub
  An Objective-c/Cocoa library that provides Software Transactional Memory capabilities as found in Clojure.
  ☆18May 25, 2012Updated 13 years ago
• arthuraa / beaq

  View on GitHub
  A Formalization of TeX in Coq
  ☆11Feb 27, 2022Updated 3 years ago
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago
• cbarrett / XPC-Calc

  View on GitHub
  The world's worst RPN calculator, powered by XPC and Haskell
  ☆17Sep 29, 2011Updated 14 years ago
• Conair94 / ModelTheoryWiki

  View on GitHub
  Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…
  ☆16Jun 8, 2025Updated 8 months ago
• LocalCharts / silviculture

  View on GitHub
  ☆16Jun 9, 2024Updated last year
• anderslundstedt / pca-realizability

  View on GitHub
  Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
  ☆13Mar 28, 2017Updated 8 years ago
• edatasheets / digital-datasheets

  View on GitHub
  ☆12Jan 23, 2025Updated last year
• matijapretnar / aeff

  View on GitHub
  An interactive interpreter for asynchronous algebraic effects
  ☆14Jun 19, 2024Updated last year
• CoqHott / logrel-mltt

  View on GitHub
  A Logical Relation for Martin-Löf Type Theory in Agda
  ☆10Jul 31, 2025Updated 6 months ago
• maxdore / csolver

  View on GitHub
  ☆16Aug 2, 2023Updated 2 years ago
• chejunwei2 / ParamGULP

  View on GitHub
  Fitting interatomic potential for molecular dynamics
  ☆13Sep 3, 2021Updated 4 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago
• octonion / tennis

  View on GitHub
  Tennis scrapers and data
  ☆11Sep 22, 2015Updated 10 years ago
• michiakig / maml

  View on GitHub
  (the first half of) an ML compiler
  ☆10Sep 6, 2014Updated 11 years ago
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• yitzchak / tree-sitter-latex

  View on GitHub
  LaTeX grammar for tree-sitter
  ☆11Feb 4, 2019Updated 7 years ago
• tomdjong / domain-theory-in-uf

  View on GitHub
  ☆11Jul 8, 2020Updated 5 years ago
• utensil / forest

  View on GitHub
  My Zettelkasten-style forest of evergreen notes on math and tech.
  ☆11Feb 4, 2026Updated last week
• bowlofeggs / rems

  View on GitHub
  A Finite Difference Time Domain (FDTD) simulator written in Rust
  ☆12Apr 17, 2024Updated last year
• iblech / scheme-theory-in-agda

  View on GitHub
  A formalization of synthetic algebraic geometry in Agda
  ☆14Jan 5, 2019Updated 7 years ago
• dev-aditya / course-notes-core

  View on GitHub
  This repo contains notes for (some) courses made during core years at IISERM. CAUTION: Contain some cool stuff too.
  ☆10Nov 27, 2023Updated 2 years ago
• ericfinster / opetopic-types

  View on GitHub
  Higher Algebra with Opetopic Types
  ☆16Mar 30, 2023Updated 2 years ago
• jyp / sctt

  View on GitHub
  Type-Theory in Sequent Calculus
  ☆14Jul 30, 2015Updated 10 years ago
• qmdnls / ADM19F-bot-detection

  View on GitHub
  Leveraging network topology for better fake account detection in social networks
  ☆10Jul 6, 2023Updated 2 years ago
• HoTT / HoTT-2023

  View on GitHub
  Conference on Homotopy Type Theory 2023
  ☆13Jan 24, 2024Updated 2 years ago
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 2 years ago