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 9 months ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated 4 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆61Updated 2 months ago
• jart / matmul
  ☆18Updated 10 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• kanpuriyanawab / picograd
  Rust Implementation of micrograd
  ☆51Updated 10 months ago
• ryao / llama3.c
  A fork of llama3.c used to do some R&D on inferencing
  ☆21Updated 4 months ago
• hellas-ai / awesome-consensus
  A bibliography for protocol design
  ☆36Updated 3 weeks ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 weeks ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated 7 months ago
• eatonphil / btree-rs
  ☆21Updated last year
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆20Updated 3 months ago
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• spather / transformer-experiments
  Some experiments on transformer models
  ☆11Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• PlanetAPL / a-plus
  The A+ programming language from Morgan Stanley
  ☆38Updated 11 years ago
• rodlaf / BinaryGPUIndex
  A GPU Accelerated Binary Vector Store
  ☆47Updated 2 months ago
• asenac / rust-sql-playground
  A SQL query compiler written in Rust from scratch
  ☆22Updated 7 months ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 10 months ago
• tidwall / bgen
  B-tree generator for C
  ☆132Updated last week
• thisismiller / dbdiag
  Diagrams as text tool for visualizing concurrent operation histories
  ☆21Updated 3 months ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 9 months ago
• CompilerProgramming / ez-lang
  EeZee Language - Compiler Engineering Basics
  ☆22Updated last week
• redixhumayun / dst
  ☆16Updated 5 months ago
• LAC-Tech / interlog
  A local first persistent log
  ☆35Updated 4 months ago
• fpottier / mpri-2.4-projet-2022-2023
  A programming project on automatic differentiation in OCaml
  ☆12Updated 2 years ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆62Updated 5 months ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 3 months ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year