Alternatives and similar repositories for VLE-Dataset

Users that are interested in VLE-Dataset are comparing it to the libraries listed below

• HarvardPL / cs152-lecture-code
  Code from CS152 lectures
  ☆13Updated last month
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated last year
• nyusemantics / LambdaCalculatorPublic
  ☆16Updated 2 years ago
• XimeraProject / server
  ☆59Updated 4 months ago
• thezzisu / answerstar
  The most powerful user script for wjx.cn
  ☆11Updated 3 years ago
• neunenak / typst-leipzig-glossing
  ☆13Updated 4 months ago
• OpenLogicProject / fitch
  Peter Selinger's LaTeX macros for Fitch style natural deduction
  ☆13Updated last year
• onriv / lean4ij
  A Lean4 plugin for the Intellij Platform
  ☆12Updated last week
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆15Updated last month
• cu1ch3n / menu
  🍔 Chen’s Private Cuisine Menu
  ☆10Updated last year
• cmugpi / gpi-labs
  07-131 lab distribution
  ☆16Updated 7 months ago
• ETS-Next-Gen / writing_observer
  Writing Observer and Learning Observer: A system for monitoring learning process data, with an initial focus on writing process data from…
  ☆11Updated last week
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 3 years ago
• ShingZhanho / COMP2120-Notes
  Revision notes for the course HKU COMP2120 - Computer Organisation written in LaTeX.
  ☆11Updated last month
• moonbitlang / moonyacc
  MoonYacc is an LR(1) parser generator for MoonBit programming language.
  ☆18Updated last week
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆37Updated 3 years ago
• LinxZhao / VizChat-pub
  ☆10Updated last year
• paigenorth / oplss
  Resources for my Homotopy Type Theory course at OPLSS 2023
  ☆10Updated last year
• isabelle-prover / proving-contest-backends
  "proving-contest"-backends for several theorem provers
  ☆13Updated 8 months ago
• andrejbauer / social-distancing-simulator
  An artificial simulation of social distancing in the time of an epidemic.
  ☆29Updated 5 years ago
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆29Updated 2 months ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆24Updated 2 weeks ago
• stone-zeng / latex-emoji
  Emoji support in (Lua)LaTeX
  ☆75Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated 2 weeks ago
• pm25 / SimpleDarkBlue-BeamerTheme
  🫐 SimpleDarkBlue - A simple and clear LaTeX Beamer theme
  ☆76Updated 5 months ago
• chanind / mathlib-changelog
  ☆10Updated this week
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 3 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆23Updated this week
• ericsonga / APCSAReview
  This is an eBook to help students review for the Advanced Placement Computer Science A Exam
  ☆9Updated 10 months ago