Alternatives and similar repositories for VLE-Dataset

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

• thezzisu / answerstar
  The most powerful user script for wjx.cn
  ☆10Updated 3 years ago
• nyusemantics / LambdaCalculatorPublic
  ☆17Updated 3 years ago
• HarvardPL / cs152-lecture-code
  Code from CS152 lectures
  ☆13Updated 5 months ago
• cogito233 / llm-bivariate-causal-discovery
  ☆13Updated 3 years ago
• zvms / zvms4-frontend
  The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.
  ☆11Updated this week
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• OpenLogicProject / fitch
  Peter Selinger's LaTeX macros for Fitch style natural deduction
  ☆18Updated last year
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• amyjko / faculty
  Amy's faculty webpage
  ☆25Updated last week
• cu1ch3n / menu
  🍔 Chen’s Private Cuisine Menu
  ☆10Updated 3 months ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆22Updated last month
• int2str / jssyntaxtree
  Dynamic JavaScript version of phpSyntaxTree - a tool to draw syntax trees from labelled bracket notation.
  ☆93Updated last year
• pkshashank / GFLeanTransfer
  ☆12Updated last year
• delph-in / matrix
  The Grammar Matrix
  ☆14Updated 2 weeks ago
• XimeraProject / server
  ☆59Updated 2 months ago
• bdusell / nondeterministic-stack-rnn
  Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)
  ☆18Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆121Updated last year
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated last year
• moonbitlang / moonyacc
  MoonYacc is an LR(1) parser generator for MoonBit programming language.
  ☆20Updated 2 weeks ago
• astrainfinita / transcendental
  Lindemann–Weierstrass Theorem
  ☆12Updated last year
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆20Updated last month
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• KirisameMagicShop / kirisamemagicshop.github.io
  ☆10Updated 5 months ago
• ProFatXuanAll / terence-tao-analysis
  My notes on Analysis I and Analysis II, 3rd edition, written by Terence Tao.
  ☆58Updated 2 years ago
• fzyzcjy / ai_math_paper_list
  AI for Mathematics Paper List
  ☆17Updated 9 months ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆39Updated 2 years ago
• rocq-prover / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆215Updated 2 weeks ago
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆44Updated 5 months ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆234Updated this week