Citegraph / citegraphLinks
CiteGraph: A citation graph web visualizer
☆18Updated 6 months ago
Alternatives and similar repositories for citegraph
Users that are interested in citegraph are comparing it to the libraries listed below
Sorting:
- Discrete Differential Forms in arbitrary dimensions☆12Updated 4 years ago
- An overview of Complex Event Processing Systems☆28Updated 3 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆42Updated 10 months ago
- Visualization tool for analyzing call trees and graphs☆34Updated 2 years ago
- Repository for the HARDENS project☆25Updated 7 months ago
- Computer Systems Lab☆11Updated 2 weeks ago
- Dynamic modeling for business, economics, and ecology using the system dynamics approach☆25Updated last year
- US RSE umbrella web page☆30Updated this week
- ESPBench - The Enterprise Stream Processing Benchmark☆14Updated last year
- COMP Superscalar (COMPSs) is a framework which aims to ease the development and execution of applications for distributed infrastructures…☆55Updated 2 weeks ago
- Apollo: Online Machine Learning for Performance Portability☆23Updated 10 months ago
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- ☆25Updated 2 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Classification of combinatorial objects☆17Updated this week
- Main repository of the GreatSPN framework☆47Updated 2 weeks ago
- Chapters, code, and organizational materials for the book "How to be a data scientist impostor?"☆17Updated 2 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Continuous integration and deployment for Wolfram Language Paclets☆13Updated 6 months ago
- Command-line utility for iteratively developing pipelines, deploying them at scale, and sharing data and derivatives☆10Updated 5 years ago
- Sparse linear Boolean algebra for Nvidia Cuda☆24Updated 3 weeks ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆82Updated 2 weeks ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- parallel graph partitioning using recursive spectral bisection (RSB)☆21Updated last month
- Language bindings for Maude☆23Updated 6 months ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆66Updated last year
- Data abstraction, storage, discovery, and serving system☆32Updated 3 months ago
- PyDV: Python Data Visualizer☆14Updated last week
- A tool for proving and organizing general theorems using Python.☆29Updated this week