loda-lang / loda-programs

Related projects ⓘ

Alternatives and complementary repositories for loda-programs

• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆22Updated this week
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆20Updated 3 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆16Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆58Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 2 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 3 weeks ago
• Anon52MI4 / oeis-alien
  ☆19Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated last week
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆26Updated 4 years ago
• brianquinlan / brainfuck-jit
  A simple Brainfuck JIT written as a learning exercise.
  ☆15Updated 5 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆24Updated 4 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆31Updated 6 years ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 6 years ago
• leanprover / super
  Superposition prover
  ☆16Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆45Updated 10 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated 10 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆39Updated 3 months ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆21Updated 4 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆72Updated 2 months ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆40Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 9 months ago