Alternatives and similar repositories for CORE

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

• pg-lq / postgraphile-live-query

  View on GitHub
  Optimized GraphQL live-queries for Postgraphile, using json-patches.
  ☆14Aug 6, 2021Updated 4 years ago
• REmatchChile / REmatch

  View on GitHub
  REmatch C++ library
  ☆27Feb 4, 2026Updated last week
• DiamondLightSource / blueapi

  View on GitHub
  ☆12Updated this week
• Stavan-Jain / linear_algebra_game

  View on GitHub
  Building the linear algebra game!
  ☆10Dec 2, 2024Updated last year
• IIC2115 / Syllabus-2021-2

  View on GitHub
  Syllabus del curso IIC2115 - Programación como Herramienta para la Ingeniería 2021/II
  ☆14Dec 6, 2021Updated 4 years ago
• SciCatProject / scicatlive

  View on GitHub
  Simple getting started procedure for SciCat
  ☆11Updated this week
• reactive-systems / RTLola

  View on GitHub
  ☆10May 21, 2021Updated 4 years ago
• tlringer / proof-chat-fun

  View on GitHub
  playing with gpt4
  ☆14Mar 17, 2023Updated 2 years ago
• Obsidian-Desci / Obsidian-Desci

  View on GitHub
  An Obsidian plugin for web3 composition
  ☆14Oct 28, 2024Updated last year
• mattjennings / merlyn

  View on GitHub
  A meta framework for Excalibur.js
  ☆11Aug 13, 2022Updated 3 years ago
• open-source-uc / osuc.dev

  View on GitHub
  La nueva página de Open Source UC
  ☆10Nov 15, 2025Updated 2 months ago
• vcfvct / stopwatch-node

  View on GitHub
  A stopwatch inspired by Spring Stopwatch written in Typescript
  ☆13Jul 19, 2023Updated 2 years ago
• chrisdickinson / jabbascript

  View on GitHub
  lightweight syntax additions to javascript, from a curmudgeon who loves javascript just the way it is
  ☆15Jan 8, 2012Updated 14 years ago
• j3soon / directed-graph-visualization

  View on GitHub
  A simple example of creating javascript directed-graph for topic relationship visualization using d3.js (v4)
  ☆12Mar 7, 2022Updated 3 years ago
• PUC-RecSys-Class / RecSysPUC-2023

  View on GitHub
  ☆12Jan 4, 2024Updated 2 years ago
• aidanjw1 / react-hook-popup

  View on GitHub
  Easily manage popups like alerts and modals in React with a single hook
  ☆11Apr 18, 2021Updated 4 years ago
• stlmc / stlmc

  View on GitHub
  ☆11Jan 21, 2025Updated last year
• spyglass-search / netrunner

  View on GitHub
  Lens crawler & cacher
  ☆19Jun 7, 2023Updated 2 years ago
• Open-Argumentation / Canary

  View on GitHub
  A Simple Argument Mining Library
  ☆13Apr 27, 2024Updated last year
• bluesky / bluesky-queueserver

  View on GitHub
  Server for queueing plans
  ☆12Feb 6, 2026Updated last week
• avigad / formal_methods_in_education

  View on GitHub
  A web page with resources for teaching with formal methods and tools.
  ☆14Apr 8, 2023Updated 2 years ago
• berenoguz / Math

  View on GitHub
  Formalization of Mathematics using Type Theory of Agda Programming Language
  ☆11Jan 3, 2018Updated 8 years ago
• BCDA-APS / bluesky_training

  View on GitHub
  Bluesky training, including instrument package
  ☆12Dec 15, 2025Updated last month
• doublecloud / terraform-provider-doublecloud

  View on GitHub
  🌎 terraform provider for double.cloud
  ☆11Sep 27, 2024Updated last year
• itayperl / mecab-wasm

  View on GitHub
  Mecab, a Japanese morphological analyzer, built for JS with Emscripten
  ☆17Oct 9, 2021Updated 4 years ago
• aitorres / rockstar-lexer

  View on GitHub
  A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.
  ☆12Mar 4, 2019Updated 6 years ago
• epics-containers / ibek

  View on GitHub
  IOC Builder for EPICS and Kubernetes
  ☆13Updated this week
• daymosik / react-status-alert

  View on GitHub
  Simple React Status Alert component with Typescript support
  ☆21Nov 13, 2024Updated last year
• fandreuz / BisPy

  View on GitHub
  BisPy - Python bisimulation library
  ☆16Jan 21, 2022Updated 4 years ago
• tohinz / pytorch-mac-network

  View on GitHub
  Pytorch implementation of the MAC-Network
  ☆12Jan 13, 2022Updated 4 years ago
• katydid / regex-deriv-lean

  View on GitHub
  Proofs written in Lean4 for the core katydid validation algorithm
  ☆17Sep 17, 2025Updated 4 months ago
• wilcoxjay / notes

  View on GitHub
  ☆14Apr 5, 2023Updated 2 years ago
• sanjayyepuri / fluids

  View on GitHub
  A Fast Fluid Dynamics Implementation in Rust+WASM and WebGL
  ☆16Jan 8, 2023Updated 3 years ago
• DiamondLightSource / python-copier-template

  View on GitHub
  Diamond's opinionated copier template for pure Python projects managed by pip
  ☆17Feb 2, 2026Updated last week
• tabcat / dynamic-content

  View on GitHub
  Hosting Dynamic Content on IPFS
  ☆19Oct 23, 2023Updated 2 years ago
• DiamondLightSource / cothread

  View on GitHub
  Cooperative Python Threads and EPICS Channel Access bindings
  ☆13Jan 12, 2026Updated last month
• marcelomendoza / IIC3641

  View on GitHub
  GML UC
  ☆20Oct 20, 2025Updated 3 months ago
• sigfox-tech-radio / sigfox-ep-lib

  View on GitHub
  Sigfox End-Point library.
  ☆20Sep 26, 2025Updated 4 months ago
• parallelsystems / bit-struct

  View on GitHub
  ergonomic bitfields in Rust
  ☆17Mar 2, 2023Updated 2 years ago