lukapopijac / css-rubiks-cubeLinks
Animated 3D Rubik's cube made with CSS
☆11Updated 2 years ago
Alternatives and similar repositories for css-rubiks-cube
Users that are interested in css-rubiks-cube are comparing it to the libraries listed below
Sorting:
- Assorted s-expression utilities for Julia☆16Updated last year
- minimal miniKanren implementation in Julia☆23Updated 8 years ago
- ☆14Updated 5 years ago
- DeepAlgebra☆25Updated 7 years ago
- A courseware plugin for Reveal.js☆14Updated 5 years ago
- Writing proofs to Twitter since April 2020☆11Updated 3 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Random notes on mathematics (in German)☆11Updated 2 weeks ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- Slides for an introductory talk about Haskell (in German)☆11Updated 5 years ago
- FreeTikZ☆39Updated 7 years ago
- Monad implementation in Julia☆13Updated 4 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Updated 2 years ago
- A search index specialised for LaTeX equations. Developed for latexsearch.com.☆17Updated 14 years ago
- Julia embedded in Haskell☆52Updated 9 months ago
- ☆13Updated 6 years ago
- A semantic Extension of TeX/LaTeX☆54Updated last month
- Haskell bindings to SymEngine☆27Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- A WordNet in GF☆27Updated this week
- Command-line spaced repetition scheduler.☆10Updated 10 years ago