☆23Aug 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code repository for "Portal-Based Path Perturbation for Metropolis Light Transport"☆10Oct 26, 2020Updated 5 years ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 11 years ago
- 《茧居族：漫无止境的青春期》 汉化版☆11Mar 5, 2025Updated last year
- ETH Computer Architecture - Fall 2020☆13Feb 26, 2021Updated 5 years ago
- A private payment system for Ethereum-based blockchains, with no trusted setup.☆16May 14, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Remember the songs you heard and analyse your listening patterns☆16Sep 15, 2024Updated last year
- The final project of NKU 2022 Computer Architecture. 南开大学2022体系结构大作业。☆10Sep 25, 2023Updated 2 years ago
- NKU 软件工程 日常作业; NKU (Nankai University) Software Engineering Assignments☆12Dec 3, 2023Updated 2 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- ☆16Oct 10, 2016Updated 9 years ago
- The Tahoe-LAFS decentralized secure filesystem.☆16Aug 27, 2025Updated 10 months ago
- Machinomy contracts managed by Truffle☆11May 19, 2018Updated 8 years ago
- https://blog.csdn.net/ycrsw/category_11717021.html☆23May 6, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆18Feb 27, 2020Updated 6 years ago
- The course of Parallel programming in Nankai university（南开大学《并行程序设计》课程 by 王刚老师）☆12Oct 5, 2022Updated 3 years ago
- 自动购买SOL，通过合约地址自动购买代币☆23Nov 25, 2024Updated last year
- ☆12Oct 18, 2022Updated 3 years ago
- JavaScript Implementation of the IPLD format - Ethereum Block☆12Nov 20, 2017Updated 8 years ago
- My SMW workspace for all of my public stuff. Contributions via pull requests are welcome!☆12Jan 24, 2025Updated last year
- Automatically exported from code.google.com/p/tastools☆16Feb 21, 2023Updated 3 years ago
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- State Machine Compiler☆15Jan 27, 2009Updated 17 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An arduino video game console that uses cartridges and has the same size as a standard business card☆11Aug 19, 2021Updated 4 years ago
- LTE Link Monitor app for nRF Connect for Desktop☆13Apr 3, 2024Updated 2 years ago
- Thread Border Router based on OpenWRT and wpantund☆11Aug 20, 2018Updated 7 years ago
- Example on long write (long characteristic)☆12Sep 3, 2015Updated 10 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated last month
- code examples of a the SDKv6.0 DFU bootloader modified to be built by gcc.☆15Mar 11, 2016Updated 10 years ago
- Zclassic Official Website - https://zclassic.org☆13Jul 30, 2022Updated 3 years ago
- WIP emergency hardfork for Bitcoin (do not use except in emergency!)☆12Mar 8, 2020Updated 6 years ago
- WavSpA: Wavelet Space Attention for Enhancing Transformer's Long Sequence Learning☆13Feb 24, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Official OpenBazaar fork of go-ipfs☆15Aug 20, 2018Updated 7 years ago
- ☆12Dec 13, 2017Updated 8 years ago
- Multiple Dispatch in Rust☆21Sep 12, 2019Updated 6 years ago
- My exposition of the formalization of Hegel's theory in modal homotopy type theory☆14Aug 18, 2023Updated 2 years ago
- A world picker for SMB1, hopefully without breaking too many of the levels in the process.☆14Nov 15, 2023Updated 2 years ago
- ☆17Aug 21, 2015Updated 10 years ago
- [IEEE TMM 2024] A Prior Guided Wavelet-Spatial Dual Attention Transformer Framework for Heavy Rain Image Restoration☆14Jan 31, 2024Updated 2 years ago