compcalc / compcalc.github.io

Related projects: ⓘ

• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 5 months ago
• kach / chaos-game-fractal-foliage
  Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
  ☆14Updated 3 years ago
• meiyulee / continuous_Bernoulli
  There are C language computer programs about the simulator, transformation, and test statistic of continuous Bernoulli distribution. More…
  ☆25Updated 4 months ago
• HnimNart / deeplearning
  ☆54Updated 3 years ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 4 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• cobusve / TLAPLUS_DeadlockEmpire
  Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC
  ☆22Updated 5 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆68Updated this week
• codr7 / alang
  A minimal viable programming language on top of liblgpp
  ☆77Updated 3 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆39Updated 2 years ago
• analytech-solutions / fkMigration.jl
  A Julia project demonstrating the fast f-k migration algorithm.
  ☆66Updated 3 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆48Updated 3 years ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆50Updated 3 years ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆26Updated last year
• ben165 / 6502_solving_de
  ☆54Updated this week
• 00sapo / Python-Complementary-Languages
  Just a small test to see which language is better for extending python when using lists of lists
  ☆31Updated last year
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• kedlaya / math157
  ☆41Updated 3 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• afiodorov / radixmmap
  Mmap radix sort file by a fixed length prefix of each line
  ☆52Updated 4 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆165Updated last year
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆83Updated 4 months ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆72Updated 2 years ago
• Dicklesworthstone / grassmann_article
  ☆50Updated 3 months ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆61Updated 4 years ago
• BenJoyenConseil / rmi
  A learned index structure
  ☆52Updated 3 years ago
• Aperocky / cellular-automata
  ☆46Updated last year
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago