Alternatives and similar repositories for obatcher_ds

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

• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆55Updated 11 months ago
• muratdem / MDBTLA
  High level model for MongoDB consistency
  ☆13Updated last week
• microsoft / byoeb
  BYOeB is a tool to build a chatbot with a custom knowledge base and an expert-in-the-loop.
  ☆25Updated 5 months ago
• kanpuriyanawab / picograd
  Rust Implementation of micrograd
  ☆52Updated last year
• plasma-umass / sqlwrite
  SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.
  ☆122Updated 8 months ago
• aksh555 / deciphering_cot
  [EMNLP 2024 Findings] Code for deciphering CoT using shift ciphers
  ☆12Updated 7 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated this week
• redixhumayun / dst
  ☆16Updated 7 months ago
• mattecapu / categorical-systems-theory
  ☆41Updated 2 months ago
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆12Updated 2 years ago
• serge-sans-paille / i8mm
  Various implementation of byte matrix multiplication
  ☆26Updated 6 months ago
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 weeks ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 11 months ago
• penberg / librescholar
  Open source scholarly literature search
  ☆16Updated 9 months ago
• interp-reasoning / thought-anchors.com
  ⚓️ Interactive playground for the "Thought Anchors: Which LLM Reasoning Steps Matter?" paper.
  ☆15Updated last week
• suomela / da2020
  Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
  ☆71Updated 7 months ago
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• mlelarge / fitting_model_epidemiology
  Code to estimate models in epidemiology
  ☆9Updated 2 years ago
• allenai / author-explorer
  An exploration of a few AI authors and the data Semantic Scholar has about their citations.
  ☆31Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆36Updated 10 months ago
• morgangiraud / text-to-sql-proto
  A text-to-SQL prototype on the northwind sqlite dataset
  ☆12Updated 9 months ago
• aqua-language / aqua
  A programming language for data stream analytics.
  ☆22Updated 5 months ago
• mikex86 / scicore
  A tiny deep learning library written in Java
  ☆25Updated 2 years ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆69Updated 5 months ago
• ananthdurai / python-persistent-apbf
  Python implementation of Age-Partitioned Bloom Filter with S3 periodic backup support.
  ☆11Updated 5 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• pikatchu / skai
  SKIP for AI
  ☆21Updated 5 years ago
• plul / slime-mold-simulation
  Fun with wgpu: Simulating slime mold
  ☆24Updated 10 months ago