☆22Sep 2, 2024Updated last year
Alternatives and similar repositories for MeTeoR
Users that are interested in MeTeoR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Official code for the LoG2022 paper -- MSGNN: A Spectral Graph Neural Network Based on a Novel Magnetic Signed Laplacian.☆14Feb 8, 2025Updated last year
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- Ontology alignment between Schema.Org, Wikidata, and DBpedia☆11Oct 25, 2017Updated 8 years ago
- ☆20Apr 13, 2026Updated 2 months ago
- Tools for creating DBpedia Spotlight Lucene Index☆10Oct 5, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Entity Summarization with User Feedback (ESWC 2020)☆10Dec 8, 2020Updated 5 years ago
- ☆32May 27, 2026Updated 3 weeks ago
- ☆17Feb 20, 2023Updated 3 years ago
- ☆12Nov 2, 2022Updated 3 years ago
- Introduction to MLIR and xDSL training course☆20Oct 2, 2023Updated 2 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆29May 4, 2026Updated last month
- The code repository for Discovering Conflicting Groups in Signed Networks (NeurIPS 2020)☆15Aug 24, 2021Updated 4 years ago
- A tensorlayer implementation of YOLOv2: Object Detection for both image and video!☆12Jun 20, 2018Updated 7 years ago
- A lightweight Datalog engine in Rust☆57May 30, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆17Jan 31, 2023Updated 3 years ago
- Python library for Variants of Support Vector Machines☆10Dec 15, 2021Updated 4 years ago
- Code for analysing Wikidata SPARQL query logs☆12Dec 8, 2022Updated 3 years ago
- Awesome datalog libraries, tools and resources☆65Jan 3, 2020Updated 6 years ago
- Experimental MLIR based points-to analysis tool☆18Apr 29, 2026Updated last month
- Your go-to resource for all things Smart Contract Security. Featuring guidelines, best practices, and in-depth articles. Sections include…☆23Oct 31, 2023Updated 2 years ago
- Boba Network Monorepo of the Optimism monorepo☆13Jun 11, 2026Updated last week
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Nov 17, 2023Updated 2 years ago
- ☆18Feb 4, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆17Feb 6, 2023Updated 3 years ago
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- Translate Python and JavaScript into MLIR☆19Aug 27, 2022Updated 3 years ago
- ☆19Jun 25, 2025Updated 11 months ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- Fuzzing framework to target native components of android applications☆22Oct 22, 2022Updated 3 years ago
- Approximate fuzzy subgraph matching in polynomial time☆22Apr 5, 2024Updated 2 years ago
- Ambari Custom Service to deploy MongoDb in a cluster however you want: as a sharding cluster; as a replicaset or standalone☆15Mar 4, 2018Updated 8 years ago
- ☆18May 7, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- USB man in the middle linux kernel driver☆21May 3, 2021Updated 5 years ago
- An MCP server for Rust Language Server (rust-analyzer)☆32Jul 13, 2025Updated 11 months ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Galois Format Analysis Workbench☆23Nov 30, 2023Updated 2 years ago
- Programs and Proofs -- Spring 2025 -- IITM☆20May 10, 2025Updated last year
- R package for user friendly Facebook scraping☆10Jul 6, 2017Updated 8 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Sep 16, 2022Updated 3 years ago