coppeliaMLA / graphingPhilosophyView external linksLinks
☆22Aug 18, 2015Updated 10 years ago
Alternatives and similar repositories for graphingPhilosophy
Users that are interested in graphingPhilosophy are comparing it to the libraries listed below
Sorting:
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 10 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- This project focuses on using deep learning to replace text in images while retaining the same font and style.☆10Dec 9, 2019Updated 6 years ago
- My SMW workspace for all of my public stuff. Contributions via pull requests are welcome!☆10Jan 24, 2025Updated last year
- A Cython library to solve the Bittensor registration POW on CUDA☆15Aug 15, 2025Updated 5 months ago
- ☆12Aug 24, 2020Updated 5 years ago
- The Click example that I use in my tutorial articles.☆13May 23, 2018Updated 7 years ago
- Remember the songs you heard and analyse your listening patterns☆16Sep 15, 2024Updated last year
- A distributed network based on hash codes and lattices.☆14Aug 16, 2016Updated 9 years ago
- State Machine Compiler☆15Jan 27, 2009Updated 17 years ago
- Computation using data flow graphs for scalable machine learning☆17Feb 10, 2025Updated last year
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- Electron-based Virtual MIDI Controller that like Novation Launch Control☆10Oct 28, 2016Updated 9 years ago
- Vue.js wrapper over canvas manipulation library fabric.js — **Note: not quite ready for prime time**☆11Nov 27, 2016Updated 9 years ago
- ☆11Mar 13, 2023Updated 2 years ago
- A small somewhat risk-like game. It is based upon a physics simulation describing an elastic graph.☆11Apr 13, 2021Updated 4 years ago
- Zclassic Official Website - https://zclassic.org☆11Jul 30, 2022Updated 3 years ago
- ☆12Aug 11, 2018Updated 7 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- An arduino video game console that uses cartridges and has the same size as a standard business card☆12Aug 19, 2021Updated 4 years ago
- Pro Django中文译本☆11Jun 11, 2017Updated 8 years ago
- ☆11Oct 31, 2020Updated 5 years ago
- Coq集合模型论☆11Aug 18, 2022Updated 3 years ago
- Program multiple nRF5 devices concurrently with this nrfjprog inspired python module/exe☆11May 23, 2018Updated 7 years ago
- Tone Analyzer Demo for Fresh Machine Learning #3☆11Jul 16, 2016Updated 9 years ago
- Boiler plate code for Torch based ML projects☆10Jul 14, 2021Updated 4 years ago
- Code for the paper: Unified Gradient Reweighting for Model Biasing with Applications to Source Separation☆14Nov 16, 2020Updated 5 years ago
- Jupyter Notes on Computational Conformal Geometry☆13Jul 8, 2022Updated 3 years ago
- A world picker for SMB1, hopefully without breaking too many of the levels in the process.☆13Nov 15, 2023Updated 2 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Bottlenose Source Code☆11May 25, 2017Updated 8 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated 10 months ago
- ☆16Oct 10, 2016Updated 9 years ago
- A proposal for a system of decentralized trust, built on an open, public blockchain.☆14Jun 5, 2019Updated 6 years ago
- ☆10Feb 25, 2020Updated 5 years ago
- Open XAL Accelerator Physics Software Platform☆16Jun 4, 2020Updated 5 years ago
- My personal Racket library of useful or generic commands☆11Feb 14, 2025Updated 11 months ago
- A pure rust implementation of the boids flocking algorithm☆10Jun 6, 2022Updated 3 years ago
- Example on long write (long characteristic)☆12Sep 3, 2015Updated 10 years ago