Physics Derivation Graph: mathematical connections among equations
☆23Feb 3, 2026Updated 3 weeks ago
Alternatives and similar repositories for proofofconcept
Users that are interested in proofofconcept are comparing it to the libraries listed below
Sorting:
- kramdown-math-katex uses KaTeX to convert math elements to HTML on the server side☆10Jan 30, 2019Updated 7 years ago
- ☆11Feb 3, 2026Updated 3 weeks ago
- Supports approximating functions and solving differential equations on various higher dimensional domains such as disks and triangles☆20Updated this week
- Educational tutorial on how to automate your online classes in Mac OS with python and selenium☆15Sep 29, 2020Updated 5 years ago
- Cours d'introduction au langage Python, inspiré du tutoriel Python traduit en français.☆10Jan 14, 2022Updated 4 years ago
- Python course designed for grad students of the Physics & Astronomy department of the University of Western Ontario.☆12Mar 8, 2023Updated 2 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- Guia rápida de instalación de ArchLinux en modo UEFI☆10Apr 11, 2025Updated 10 months ago
- scripts for automating grading with GitHub Classroom and Moodle☆11May 18, 2020Updated 5 years ago
- Binaries for mathematicians☆10Mar 19, 2025Updated 11 months ago
- A basic browser based app that posts to the STEEM blockchain (tutorial/example)☆11Aug 17, 2017Updated 8 years ago
- Unsupervised learning of structure in systems of interacting particles.☆13Nov 13, 2023Updated 2 years ago
- This repository contains my solutions for the Udemy Course Complete Python Bootcamp: Go from zero to hero in Python 3☆10Jul 17, 2018Updated 7 years ago
- ☆11Nov 24, 2018Updated 7 years ago
- This is the official repository of The Open LaTeX Project☆13Oct 15, 2020Updated 5 years ago
- Taller de fundamentos de manera práctica de ciencia de datos en CTIC.☆17Jul 5, 2022Updated 3 years ago
- GEO 325M Introduction to Numerical Modeling☆13Updated this week
- newtype and refinement (refined) type for Scala 3☆14Feb 12, 2026Updated 2 weeks ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- KCL Interface to UKB Project Data on Rosalind HPC cluster☆14Apr 22, 2023Updated 2 years ago
- An extension to interact with DeSo Blockchain on few simple clicks 🥳☆12Jan 25, 2024Updated 2 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- ☆10Jun 9, 2016Updated 9 years ago
- VSC user training material and documentation☆10Updated this week
- gpm is a tool for managing Go projects.☆11May 18, 2019Updated 6 years ago
- ☆13Feb 20, 2026Updated last week
- General-purpose optimal control, trajectory optimisation and parameter optimisation using direct collocation☆10Aug 29, 2023Updated 2 years ago
- A python package for physics-informed machine learning for solving partial differential equations☆13Feb 12, 2025Updated last year
- ☆11Oct 8, 2024Updated last year
- Notes on setting up systems within educational settings☆11Feb 11, 2026Updated 2 weeks ago
- Solutions to https://adventofcode.com/2016 (complete)☆12Dec 18, 2024Updated last year
- cowsay for LaTeX☆16Nov 22, 2025Updated 3 months ago
- Pekko Streams support for JSON via Circe☆10Nov 10, 2025Updated 3 months ago
- A simple CLI colorizer☆11Jun 18, 2021Updated 4 years ago
- The German Arch Linux website☆10Feb 17, 2026Updated last week
- An Inline C++ Extension Generator for Python☆11Oct 26, 2021Updated 4 years ago
- Manage lockfiles in PKGBUILDs for upstreams that don't ship them, `updpkgsums` for dependency trees (Arch Linux tooling)☆14Jul 3, 2024Updated last year
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated 8 months ago