Alternatives and similar repositories for disalg-bib-dict

Users that are interested in disalg-bib-dict are comparing it to the libraries listed below

• Lingzhi-Ouyang / Remix

  View on GitHub
  ☆13Apr 10, 2025Updated 10 months ago
• tangruize / tlc-cmd

  View on GitHub
  Run TLC in cmd
  ☆15Jan 20, 2026Updated 3 weeks ago
• tangruize / SandTable

  View on GitHub
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆28Apr 24, 2024Updated last year
• dranov / raft-tla

  View on GitHub
  ☆21Oct 25, 2021Updated 4 years ago
• Starydark / PaxosStore-tla

  View on GitHub
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Mar 30, 2021Updated 4 years ago
• elem-azar-unis / CRDT-Redis

  View on GitHub
  CRDTs implemented in Redis
  ☆55Mar 14, 2023Updated 2 years ago
• lujiefsi / CrashTuner

  View on GitHub
  CrashTuner(SOSP2019)
  ☆30Aug 28, 2019Updated 6 years ago
• arlinamid / spec-kit-chatgpt5-project

  View on GitHub
  Github speckit repo implement into ChatGPT project
  ☆23Sep 14, 2025Updated 5 months ago
• intyeger / DX2CT

  View on GitHub
  ☆11Jan 7, 2025Updated last year
• morrislab / mlworkshop

  View on GitHub
  Machine learning workshop presented at GLBIO 2016
  ☆11May 17, 2016Updated 9 years ago
• lilith-avatar / avatar-ava

  View on GitHub
  AvaKit开发框架
  ☆16Dec 9, 2021Updated 4 years ago
• iai-group / guidelines

  View on GitHub
  IAI Style Guide
  ☆10Jun 27, 2025Updated 7 months ago
• mcdyzg / webpack-koa-boilerplate

  View on GitHub
  A boilerplate for running a Webpack workflow in Node koa app
  ☆11May 14, 2018Updated 7 years ago
• tlaplus / TLAiBench

  View on GitHub
  TLAi+ Benchmarks
  ☆28Feb 6, 2026Updated last week
• musyoku / hpylm

  View on GitHub
  HPYLMのC++実装
  ☆11May 2, 2017Updated 8 years ago
• yahoo / tagchowder

  View on GitHub
  Parsing and extracting information from (possibly malformed) HTML/XML documents
  ☆10Apr 24, 2024Updated last year
• SJTU-PLV / CompCert

  View on GitHub
  The CompCert formally-verified C compiler
  ☆10Updated this week
• HKUST-KnowComp / ELWSMP

  View on GitHub
  Entity Linking within a Social Media Platform
  ☆11May 2, 2019Updated 6 years ago
• wangzheallen / STL-VQA

  View on GitHub
  The good practice in the VQA system such as pos-tag attention, structed triplet learning and triplet attention is very general and can be…
  ☆19Jan 23, 2018Updated 8 years ago
• PlatformLab / CoreArbiter

  View on GitHub
  ☆11Apr 16, 2019Updated 6 years ago
• BelalC / keyword_i2x

  View on GitHub
  Generates the most important key-phrase/key-words from a document based on a corpus
  ☆10Jun 17, 2024Updated last year
• polymorpher / aliaslda

  View on GitHub
  ☆10Apr 20, 2016Updated 9 years ago
• AsanoSaki / king_of_bots

  View on GitHub
  基于 SpringBoot 的 AI BOT 对战小游戏~
  ☆10Dec 8, 2023Updated 2 years ago
• MapStudioProject / Party-Studio

  View on GitHub
  A board editor for MPSA and possibly older games in the future.
  ☆13Dec 19, 2024Updated last year
• iai-group / table-retrieval

  View on GitHub
  ☆11Jan 3, 2023Updated 3 years ago
• iai-group / sigir2018-table

  View on GitHub
  On-the-fly Table Generation - SIGIR'18
  ☆10Feb 1, 2020Updated 6 years ago
• hyrolean / BonPTxWDM

  View on GitHub
  pt2wdmに特化したPT1/PT2/PT3用ハイブリッドBonDriver
  ☆11Mar 5, 2025Updated 11 months ago
• jskri / modeling-with-tla

  View on GitHub
  Tutorial on modeling with TLA+
  ☆24Oct 7, 2025Updated 4 months ago
• raku-community-modules / IO-Socket-Async-SSL

  View on GitHub
  Asynchronous TLS sockets in Raku
  ☆12Jun 3, 2025Updated 8 months ago
• s-yata / louds-trie

  View on GitHub
  LOUDS-trie implementation example (C++)
  ☆14Nov 27, 2019Updated 6 years ago
• jacobBaumbach / MCWMD

  View on GitHub
  Implementation of Monte Carlo Word Movers Distance in Python with TensorFlow
  ☆12Sep 12, 2016Updated 9 years ago
• abb-iss / SrcML.NET

  View on GitHub
  C# framework for transforming and analyzing source code with srcML.
  ☆21Feb 10, 2016Updated 10 years ago
• andreamad8 / QDREN

  View on GitHub
  Question Dependent Recurrent Entity Network
  ☆13Sep 21, 2017Updated 8 years ago
• teanalab / kewer

  View on GitHub
  Knowledge graph Entity and Word Embeddings for Retrieval
  ☆11Nov 19, 2021Updated 4 years ago
• NYU-NEWS / janus

  View on GitHub
  ☆51Mar 13, 2024Updated last year
• abhishekkrthakur / anime_hentai

  View on GitHub
  Distinguishing between anime and hentai
  ☆16Jan 29, 2017Updated 9 years ago
• osirrc / osirrc2019-library

  View on GitHub
  Official library of images for the SIGIR 2019 Open-Source IR Replicability Challenge (OSIRRC 2019)
  ☆13Jul 7, 2019Updated 6 years ago
• jvehent / go-toybox

  View on GitHub
  random Go code samples written over the years
  ☆12May 23, 2025Updated 8 months ago
• neuralmind-ai / information-extraction-t5

  View on GitHub
  ☆12Apr 29, 2022Updated 3 years ago