Alternatives and similar repositories for obatcher_ds

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

• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆54Updated 10 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated 8 months ago
• jart / matmul
  ☆18Updated 11 months ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆11Updated 2 years ago
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆21Updated 3 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• tekknolagi / skybison
  A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…
  ☆44Updated last year
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated 4 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago
• mikex86 / scicore
  A tiny deep learning library written in Java
  ☆25Updated 2 years ago
• kanpuriyanawab / picograd
  Rust Implementation of micrograd
  ☆51Updated 11 months ago
• basic-toolbox-sample-code / basic-toolbox-sample-code
  Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book
  ☆25Updated 7 years ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 9 months ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 4 months ago
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated 3 months ago
• logicforprogrammers / book-assets
  Assets for the book "Logic for Programmers"
  ☆16Updated last month
• ryao / llama3.c
  A fork of llama3.c used to do some R&D on inferencing
  ☆22Updated 5 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆17Updated 7 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆63Updated 2 weeks ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• pcholakov / p-promises
  A P model of durable Promises
  ☆13Updated last year
• harp-lab / gdlog
  ☆82Updated 7 months ago
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated 3 months ago
• morgangiraud / text-to-sql-proto
  A text-to-SQL prototype on the northwind sqlite dataset
  ☆12Updated 8 months ago
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated last year
• kuujo / just-in-time-paxos
  ☆18Updated 4 years ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated last month
• charlesfrye / cuda-substrings
  Because it's there.
  ☆16Updated 8 months ago
• brurucy / materialized-view
  ☆18Updated 3 weeks ago