tmptrash / irma

Related projects ⓘ

Alternatives and complementary repositories for irma

• cair / TsetlinMachineC
  A C implementation of the Tsetlin Machine
  ☆14Updated 5 years ago
• falk-hueffner / sematrope
  Superoptimizer using the z3 SMT solver
  ☆15Updated 3 years ago
• a5kin / xentica
  GPU-accelerated engine for multi-dimensional cellular automata
  ☆31Updated 2 years ago
• primaryobjects / genetic-programming
  Genetic programming for math equations with prefix expression trees.
  ☆17Updated 6 years ago
• rubberduck203 / Evolve
  Artificial Life Simulator Originally Authored by Ken Stauffer
  ☆62Updated 4 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• kawogi / krust
  A thin rusty wrapper around the Vulkan-API; provides some convenience functions for common tasks
  ☆11Updated 8 years ago
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 5 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 11 months ago
• moskalyk / awesome-gpt-3
  An awesome list of gpt-3 experiments + outputted newsletter.
  ☆16Updated 4 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆21Updated last week
• SHEUN1 / Cloudbank
  An alternative Computer vision and AI training platform built to play any game on Steam (Linux).
  ☆20Updated 3 years ago
• lexborisov / yauid
  A decentralized unique ID generator (int64)
  ☆21Updated 8 years ago
• BIDData / BIDParse
  GPU-accelerated natural language parser
  ☆36Updated 10 years ago
• djbarrow / fundamental
  Software to look for interrelationships between constants and find formulas for number sequences
  ☆18Updated 7 months ago
• blexim / synth
  Program synthesis
  ☆12Updated 8 years ago
• sgkasselau / pyaixi
  ☆44Updated 2 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆18Updated 11 years ago
• flouc001 / Simple-APL-Neural
  A simple APL neural network.
  ☆11Updated 8 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆20Updated 2 years ago
• amd / aocl-libmem
  A library of AMD optimized memory and string functions
  ☆12Updated last month
• opencog / TinyCog
  Small Robot, Toy Robot platform
  ☆33Updated 4 years ago
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆33Updated 6 years ago
• drone-os / drone-riscv
  [EXPERIMENTAL] RISC-V platform crate for Drone, an Embedded Operating System.
  ☆11Updated 3 years ago
• dmishin / js-revca
  Reversible cellular automata simulator in HTML5 + Java Script.
  ☆32Updated 7 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆40Updated 3 weeks ago
• Mysticial / ProtoNTT
  A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.
  ☆21Updated 7 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆17Updated 4 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago