CORE-cer / COREView external linksLinks
Implementation of CORE in cpp
☆12Dec 31, 2025Updated last month
Alternatives and similar repositories for CORE
Users that are interested in CORE are comparing it to the libraries listed below
Sorting:
- Optimized GraphQL live-queries for Postgraphile, using json-patches.☆14Aug 6, 2021Updated 4 years ago
- REmatch C++ library☆27Feb 4, 2026Updated last week
- ☆12Updated this week
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Syllabus del curso IIC2115 - Programación como Herramienta para la Ingeniería 2021/II☆14Dec 6, 2021Updated 4 years ago
- Simple getting started procedure for SciCat☆11Updated this week
- ☆10May 21, 2021Updated 4 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- An Obsidian plugin for web3 composition☆14Oct 28, 2024Updated last year
- A meta framework for Excalibur.js☆11Aug 13, 2022Updated 3 years ago
- La nueva página de Open Source UC☆10Nov 15, 2025Updated 2 months ago
- A stopwatch inspired by Spring Stopwatch written in Typescript☆13Jul 19, 2023Updated 2 years ago
- lightweight syntax additions to javascript, from a curmudgeon who loves javascript just the way it is☆15Jan 8, 2012Updated 14 years ago
- A simple example of creating javascript directed-graph for topic relationship visualization using d3.js (v4)☆12Mar 7, 2022Updated 3 years ago
- ☆12Jan 4, 2024Updated 2 years ago
- Easily manage popups like alerts and modals in React with a single hook☆11Apr 18, 2021Updated 4 years ago
- ☆11Jan 21, 2025Updated last year
- Lens crawler & cacher☆19Jun 7, 2023Updated 2 years ago
- A Simple Argument Mining Library☆13Apr 27, 2024Updated last year
- Server for queueing plans☆12Feb 6, 2026Updated last week
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Jan 3, 2018Updated 8 years ago
- Bluesky training, including instrument package☆12Dec 15, 2025Updated last month
- 🌎 terraform provider for double.cloud☆11Sep 27, 2024Updated last year
- Mecab, a Japanese morphological analyzer, built for JS with Emscripten☆17Oct 9, 2021Updated 4 years ago
- A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.☆12Mar 4, 2019Updated 6 years ago
- IOC Builder for EPICS and Kubernetes☆13Updated this week
- Simple React Status Alert component with Typescript support☆21Nov 13, 2024Updated last year
- BisPy - Python bisimulation library☆16Jan 21, 2022Updated 4 years ago
- Pytorch implementation of the MAC-Network☆12Jan 13, 2022Updated 4 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆17Sep 17, 2025Updated 4 months ago
- ☆14Apr 5, 2023Updated 2 years ago
- A Fast Fluid Dynamics Implementation in Rust+WASM and WebGL☆16Jan 8, 2023Updated 3 years ago
- Diamond's opinionated copier template for pure Python projects managed by pip☆17Feb 2, 2026Updated last week
- Hosting Dynamic Content on IPFS☆19Oct 23, 2023Updated 2 years ago
- Cooperative Python Threads and EPICS Channel Access bindings☆13Jan 12, 2026Updated last month
- GML UC☆20Oct 20, 2025Updated 3 months ago
- Sigfox End-Point library.☆20Sep 26, 2025Updated 4 months ago
- ergonomic bitfields in Rust☆17Mar 2, 2023Updated 2 years ago