Alternatives and similar repositories for dilcue:

Users that are interested in dilcue are comparing it to the libraries listed below

• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆100Updated 3 weeks ago
• complex-analysis / complex-analysis.github.io
  Complex Analysis: A Visual and Interactive Introduction
  ☆171Updated 3 weeks ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆32Updated 6 years ago
• emichael / texthings
  Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax
  ☆81Updated 3 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆165Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆236Updated 11 months ago
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆28Updated 9 months ago
• beneater / ooda-loop
  OODA loop demo
  ☆81Updated 2 years ago
• pedal-edu / pedal
  A collection of tools to analyze student's Python source code
  ☆30Updated 2 months ago
• tasuki / tsumego
  it sorta works in 2018
  ☆20Updated 3 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆276Updated 3 years ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆190Updated 3 weeks ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 4 months ago
• edemaine / topp
  The Open Problems Project
  ☆26Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• freopen / chess-erdos
  Calculate chess version of Erdos Number for all Lichess users
  ☆25Updated 2 months ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆65Updated 7 years ago
• niklasf / syzygy-tables.info
  User interface and public API for probing Syzygy endgame tablebases
  ☆68Updated last month
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆83Updated 2 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆154Updated 9 months ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆49Updated 3 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• michael1241 / wcc_analysis
  ☆39Updated last year
• PCCMathSAC / orcca
  Open Source Precollege Algebra Textbook
  ☆19Updated 2 months ago
• tmolteno / SympyTeX
  A LaTeX package that incorporates sympy code, and it's output into your LaTeX documents
  ☆35Updated 10 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆96Updated 5 months ago
• eulertour / eulertour
  A GUI frontend for Manim
  ☆22Updated 2 years ago
• rhgrant10 / berserk
  Python client for the lichess API
  ☆142Updated last year
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year