Physics Derivation Graph: mathematical connections among equations
ā23Feb 3, 2026Updated 4 months ago
Alternatives and similar repositories for proofofconcept
Users that are interested in proofofconcept are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- kramdown-math-katex uses KaTeX to convert math elements to HTML on the server sideā10Jan 30, 2019Updated 7 years ago
- šµ Visualizing the network of music featuresā17Aug 9, 2018Updated 7 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript programā27Aug 24, 2015Updated 10 years ago
- Hides images into soundā13Apr 26, 2021Updated 5 years ago
- Collection of datasets for network research.ā14Jul 26, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean ā¢ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ML Basis for Poly/MLā14Oct 18, 2025Updated 7 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesisā16Nov 19, 2022Updated 3 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"ā13Aug 22, 2017Updated 8 years ago
- ā10May 26, 2016Updated 10 years ago
- Standard ML Parser Combinator Libraryā17Jan 9, 2026Updated 4 months ago
- A Boolean Algebra for Genetic Variantsā14May 30, 2026Updated last week
- Supports approximating functions and solving differential equations on various higher dimensional domains such as disks and trianglesā21Jun 2, 2026Updated last week
- TeX Parser in Haskellā11Aug 12, 2017Updated 8 years ago
- My Final Degree Project called "Algorithms for Big Data: Graphs and PageRank"ā13Jun 26, 2022Updated 3 years ago
- 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.
- A tool for generating PDEs ground truth datasets from ARCSim, FEniCS and SU2ā38Jul 5, 2021Updated 4 years ago
- A python package for finding causal functional connectivity from neural time series observations.ā19May 21, 2025Updated last year
- A Declarative Theorem Prover for First-Order Classical Logicā31Jun 14, 2024Updated last year
- A collection of research papers related to graph structure learning(GSL).ā16Oct 11, 2022Updated 3 years ago
- How does Heterophily Impact the Robustness of Graph Neural Networks? Theoretical Connections and Practical Implications (KDD'22)ā13Jul 24, 2022Updated 3 years ago
- Call a child process with the ease of exec and safety of spawnā28Aug 8, 2015Updated 10 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logicā18Oct 10, 2017Updated 8 years ago
- Educational tutorial on how to automate your online classes in Mac OS with python and seleniumā15Sep 29, 2020Updated 5 years ago
- Tool for converting LaTeX-prepared documents to Wordpress-ready HTMLā14Mar 11, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer ā¢ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- algorithm for study: multi-layer-perceptron, cluster-graph, cnn, rnn, restricted boltzmann machine, bayesian networkā24Aug 27, 2017Updated 8 years ago
- Boolean satisfiability for propositional logic in Pythonā14Aug 19, 2025Updated 9 months ago
- This repository contains the official implementation of the paper "Reliable Graph Neural Networks via Robust Aggregation" (NeurIPS, 2020)ā¦ā17Mar 16, 2022Updated 4 years ago
- This project proposes an efficient memetic algorithm for the graph coloring problem. Authors : L. Moalic (laurent.moalic@uha.fr) and A. Gā¦ā12Jun 27, 2018Updated 7 years ago
- A collection of touch designer experimentsā37May 28, 2026Updated last week
- Tempest atmosphere / Earth-system modelā22Sep 1, 2022Updated 3 years ago
- System F in coq.ā19Jan 27, 2015Updated 11 years ago
- This is a mirror of the official cmucl repo at gitlab.common-lisp.netā30Updated this week
- A CLI tool to convert images into graphsā27Jun 27, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer ā¢ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Unified Dense Subgraph Detection Algorithms: **Best student DM paper award in ECML-PKDD'20**ā16May 23, 2024Updated 2 years ago
- A bare-bones LCF-style proof assistantā25Aug 13, 2019Updated 6 years ago
- Python binding for Reticula: the general purpose library for analysing static, temporal and hypergraph networks.ā25Jul 19, 2025Updated 10 months ago
- Official implementation of "NESS: Node Embeddings from Static Subgraphs"ā20May 30, 2023Updated 3 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IRā32May 15, 2019Updated 7 years ago
- A C++ Compiler (on the works)ā14Jun 25, 2023Updated 2 years ago
- A package for representing quasi-arraysā11Updated this week