Alternatives and similar repositories for Allens-Interval-Algebra

Users that are interested in Allens-Interval-Algebra are comparing it to the libraries listed below

• marcincuber / modal_logic

  View on GitHub
  Final Year Masters Project: modal logic solver tableaux
  ☆25May 26, 2022Updated 3 years ago
• namin / dafny-sandbox

  View on GitHub
  Dafny for Metatheory of Programming Languages
  ☆29Feb 6, 2026Updated last week
• m-westphal / gqr

  View on GitHub
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆18Nov 11, 2017Updated 8 years ago
• xgrommx / agda-ecosystem

  View on GitHub
  ☆32May 27, 2018Updated 7 years ago
• DotNetNomads / UltraMafia

  View on GitHub
  The first OpenSource Mafia Bot!
  ☆10Oct 5, 2023Updated 2 years ago
• izumi-h / ccgcomp

  View on GitHub
  Logical inference system based on event semantics and degree semantics in formal semantics
  ☆11Jan 22, 2023Updated 3 years ago
• JSuder-xx / TSqlStrong

  View on GitHub
  T-Sql type checker that detects improper joins, invalid null value operations, enumeration check constraint violations, incorrect use of …
  ☆11May 14, 2018Updated 7 years ago
• manthan98 / Cochlear-Implant-Processor

  View on GitHub
  Cochlear implant signal processing
  ☆10Jun 24, 2021Updated 4 years ago
• fieldstrength / probability

  View on GitHub
  Probabilistic computation in Idris
  ☆33Jul 2, 2019Updated 6 years ago
• alreich / qualreas

  View on GitHub
  Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…
  ☆42Sep 5, 2023Updated 2 years ago
• jvdsn / white-box-speck

  View on GitHub
  A white-box Speck implementation using self-equivalence encodings
  ☆13Jun 25, 2022Updated 3 years ago
• egaudrain / vocoder

  View on GitHub
  A versatile, easily configurable vocoder software in MATLAB, for research purposes
  ☆12Apr 9, 2021Updated 4 years ago
• aberkow / react-synth

  View on GitHub
  A synthesizer using React, ToneJS, and nexusUI.
  ☆10Jul 18, 2016Updated 9 years ago
• umazalakain / fyp

  View on GitHub
  My final year project at the University of Strathclyde
  ☆13Jan 26, 2023Updated 3 years ago
• praeclarum / odata

  View on GitHub
  OData Browser for the iPhone
  ☆26Aug 7, 2010Updated 15 years ago
• marodev / EagleRepair

  View on GitHub
  EagleRepair fixes static analysis warnings in C# programs. Easy to use. Blazing fast. Based on research.
  ☆12Feb 27, 2023Updated 2 years ago
• baracoder / dotnet2nix

  View on GitHub
  Tool to convert dotnet core dependencies to nix expressions, this project itself is the test case for now
  ☆11Oct 11, 2022Updated 3 years ago
• soasme / runflow

  View on GitHub
  Runflow is a tool to define and run workflows.
  ☆10Jul 13, 2021Updated 4 years ago
• mnieper / gravity

  View on GitHub
  A little book on General Relativity and Einstein–Cartan Theory
  ☆16Mar 13, 2014Updated 11 years ago
• maximosigniorini / PdStuff

  View on GitHub
  Collection of Pure Data patches collected from all over the world (mostly not mine)
  ☆11Dec 17, 2020Updated 5 years ago
• dmurfet / polysemantics

  View on GitHub
  Polynomial semantics of linear logic
  ☆13Apr 15, 2018Updated 7 years ago
• leoprover / tptp

  View on GitHub
  TPTP python library and benchmarking service
  ☆13Oct 2, 2019Updated 6 years ago
• robotics-at-maryland / tortuga

  View on GitHub
  Robotics @ Maryland Autonomous Underwater Vehicle
  ☆14Aug 2, 2014Updated 11 years ago
• grinfans / grinmw.py

  View on GitHub
  python for grin
  ☆11Jan 9, 2024Updated 2 years ago
• MarvinKlein1508 / BlazorForms

  View on GitHub
  A dynamic online PDF form builder fully based on Blazor.
  ☆11Jan 9, 2026Updated last month
• sileod / language-model-recommendation

  View on GitHub
  Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)
  ☆14May 25, 2023Updated 2 years ago
• spacekitteh / haskell-clifford

  View on GitHub
  Clifford algebra for Haskell! :D
  ☆14Jul 1, 2014Updated 11 years ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• jasonbaldridge / cg-latex

  View on GitHub
  Style files for working with categorial grammars in LaTeX.
  ☆13Oct 9, 2014Updated 11 years ago
• nr-codes / BipedalGaitGeneration

  View on GitHub
  A Bipedal Gait Generation Library Using Equilibria and Numerical Continuation Methods. For example gaits, visit https://nr-codes.github.…
  ☆13Jul 15, 2021Updated 4 years ago
• dennisroche / DateTimeProvider

  View on GitHub
  Provides an interface IDataTimeProvider and static container. Also provided is a StaticDateTimeProvider and IDiposable for use in your Un…
  ☆10Sep 29, 2021Updated 4 years ago
• aav / clojure.osgi

  View on GitHub
  Clojure / OSGi integration
  ☆32Jul 29, 2012Updated 13 years ago
• bos / suffixtree

  View on GitHub
  An efficient, lazy suffix tree implementation
  ☆13Dec 10, 2020Updated 5 years ago
• liebeskind / leapdrone

  View on GitHub
  Uses Node.js and Leap Motion to control an AR Drone and stream video to the browser.
  ☆62Nov 20, 2013Updated 12 years ago
• ybisk / CCG-Induction

  View on GitHub
  Unsupervised Grammar Induction with Combinatory Categorial Grammars
  ☆10Jan 28, 2021Updated 5 years ago
• xran-deex / ats-http

  View on GitHub
  An epoll-based HTTP library for ATS2
  ☆14Dec 27, 2022Updated 3 years ago
• ronnygunawan / analyzers

  View on GitHub
  Roslyn analyzers for stricter code
  ☆12Nov 30, 2025Updated 2 months ago
• bitonic / hakyll-agda

  View on GitHub
  Hakyll support for Agda literate files
  ☆19Jul 20, 2021Updated 4 years ago
• marcoonroad / nocoiner

  View on GitHub
  A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.
  ☆11Apr 12, 2023Updated 2 years ago