Alternatives and similar repositories for grassmann_article:

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

• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆96Updated last year
• mxmlnkn / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆66Updated last year
• JosephSBoyle / skip_gram
  This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…
  ☆35Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 9 months ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆131Updated 9 months ago
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆45Updated 7 months ago
• Dicklesworthstone / hoeffdings_d_explainer
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆97Updated 11 months ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆75Updated 9 months ago
• ProfJski / FloatCompMandelbrot
  What impact does floating point precision have on Mandelbrot set calculations?
  ☆107Updated last year
• Tetraslam / SHFLA
  ☆57Updated this week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆71Updated this week
• briangu / klongpy
  High-Performance Klong array language in Python.
  ☆289Updated last month
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated last year
• kelas / ooj
  the origins of J
  ☆62Updated last year
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 2 years ago
• Dicklesworthstone / the_lighthill_debate_on_ai
  A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks
  ☆26Updated 11 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆96Updated 3 weeks ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆159Updated 3 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 9 months ago
• rtheunissen / bst
  Exploring the design space of binary search trees
  ☆43Updated 6 months ago
• Avicted / galaxy_visualization_raylib
  100k real ( +100k random ) galaxies from a sector. Visualized with Raylib.
  ☆87Updated 4 months ago
• Dicklesworthstone / visual_astar_python
  Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm
  ☆175Updated 5 months ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆200Updated 7 months ago
• cjdrake / seqlogic
  Sequential Logic
  ☆109Updated this week
• stuffmatic / chebyshev-calculator
  A web app that generates code for efficiently approximating mathematical functions of one variable.
  ☆90Updated 3 months ago
• chrispsn / mesh-spreadsheet
  A data and code editor that feels like a spreadsheet.
  ☆154Updated 7 months ago
• DiscoGrad / DiscoGrad
  DiscoGrad - automatically differentiate across conditional branches in C++ programs
  ☆203Updated 4 months ago
• westoncb / nonlinear-optics-sandbox
  ☆32Updated 2 weeks ago
• achristmascarl / three_body
  ✨ rudimentary simulation of the three-body problem
  ☆154Updated 9 months ago