Alternatives and similar repositories for crome-cgg

Users that are interested in crome-cgg are comparing it to the libraries listed below

• pierg / crome-logic
  ☆10Updated 2 years ago
• pierg / crome-web
  ☆10Updated 2 years ago
• pierg / crome-contracts
  Contracts operations tools, based on LTL
  ☆10Updated 2 years ago
• pierg / synthesis-web
  web interface for crome-synthesis
  ☆10Updated 2 years ago
• pierg / crome-synthesis
  ☆10Updated 2 years ago
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆23Updated this week
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 5 months ago
• IBM / nl2ltl
  Natural Language (NL) to Linear Temporal Logic (LTL)
  ☆77Updated last month
• GSA / coe-hud-acquisitions
  A repository that contains links and information for acquisitions and potential acquisitions that have arisen out of work between the CoE…
  ☆11Updated 5 years ago
• bliutech / SeBRUS
  MIT IEEE URTC 2023. GSET 2023. Repository for "SeBRUS: Mitigating Data Poisoning in Crowdsourced Datasets with Blockchain". Using Ethere…
  ☆10Updated last year
• EthanJamesLew / koopmania
  a little library to help me with things involving Koopman operators
  ☆12Updated 3 years ago
• henrhoi / KTN-TTM4100
  README-filen er selvskrevet kompendium i Kommunikasjon, Tjenester og nettverk - TTM4100
  ☆8Updated 7 years ago
• neildhir / DCBO
  Dynamic causal Bayesian optimisation
  ☆38Updated 2 years ago
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆16Updated 11 months ago
• tgebhart / sheaf_kg
  ☆10Updated 2 years ago
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• BorgwardtLab / fisher_information_embedding
  Official code for Fisher information embedding for node and graph learning (ICML 2023)
  ☆19Updated 2 years ago
• minecraft-saar / autoplanbench
  ☆14Updated 5 months ago
• GSA / coe-industry-day
  Information on the Phase II Industry Day for the Centers of Excellence at USDA.
  ☆13Updated 6 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated last month
• ArnoVel / structure-identification
  Uses several statistical tests / algorithms on marginal / conditional distributions
  ☆8Updated last year
• kokikwbt / MLDS
  Python implementation of multilinear dynamical systems for tensor time series (NIPS'13)
  ☆12Updated 3 years ago
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Updated 2 years ago
• claireaoi / hierarchical-rule-induction
  Neuro-Symbolic Hierarchical Rule Induction
  ☆14Updated 2 years ago
• dselsam / lean-gym
  ☆12Updated 2 years ago
• alpc91 / SGRL
  [ICML 2023 Oral] Official environments and implementations for "Subequivariant Graph Reinforcement Learning in 3D Environments"
  ☆17Updated last year
• nirlipo / ltl2pddl
  LTL2PDDL tool
  ☆9Updated 7 years ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆43Updated last year
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆19Updated 9 months ago