Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics
☆13Nov 25, 2015Updated 10 years ago
Alternatives and similar repositories for Ethics
Users that are interested in Ethics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- D3 interactive wheel visualisation of Hegel's Science of Logic☆13Mar 28, 2015Updated 11 years ago
- Alice Margatroid, a dollmaster that pretends not to be a doll itself.☆18Nov 4, 2017Updated 8 years ago
- A gopher browser written in Common Lisp, using the McCLIM UI library.☆14Nov 6, 2018Updated 7 years ago
- The text archive of the redtexts project☆14Dec 27, 2024Updated last year
- CS 294-144 Blockchain, Cryptoeconomics, and the Future of Technology, Business and Law (Spring 2018)☆10Apr 25, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆15May 23, 2017Updated 9 years ago
- A collection of 🔥 resources & research on cryptoeconomics☆27Apr 28, 2018Updated 8 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆18May 6, 2026Updated last month
- Classroom demonstration of costly state verification in finance☆16Mar 30, 2015Updated 11 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- BisPy - Python bisimulation library☆17Jan 21, 2022Updated 4 years ago
- This repository replicates the figures from the 3rd edition of the book "Recursive Macroeconomic Theory" by Lars Ljungqvist and Thomas J.…☆12Feb 9, 2016Updated 10 years ago
- Agda from Nothing: Order in the Types☆13Jan 23, 2017Updated 9 years ago
- Runnable code from Chaitin's "The Limits of Mathematics (in C)"☆18Sep 1, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- No Operating System Project, seeking Dan Ingalls' quote: 'Operating Systems should not exist'. This is the generic platform☆29Dec 8, 2018Updated 7 years ago
- An interpreter for Gödel's System T☆13Apr 17, 2017Updated 9 years ago
- ☆34Feb 25, 2018Updated 8 years ago
- Implementation of the Lemke-Howson algorithm for finding MNE☆15Nov 2, 2013Updated 12 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- ☆21Dec 28, 2025Updated 5 months ago
- 解除Resilio Sync/BTSync限制china地区 镜像：https://coding.net/u/renerli/p/sync_hosts/git☆17Jul 27, 2018Updated 7 years ago
- Accurately solving the Diamond-Mortenson-Pissarides model of labor-market search☆19Feb 14, 2026Updated 3 months ago
- An R package for algebraic statistics.☆16May 17, 2023Updated 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.
- A public domain version of Terrence Mckenna's Timewave Zero software☆102Dec 3, 2020Updated 5 years ago
- Naive dependancy injection for Swift☆10Jan 14, 2016Updated 10 years ago
- Implementation of Dynamic Time Warping in Haskell☆18Jan 25, 2023Updated 3 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated last year
- Static site generator☆12Apr 6, 2025Updated last year
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 19, 2024Updated last year
- ☆10Feb 22, 2016Updated 10 years ago
- This is a plugin that adds the ability to toggle on and off vim into obsidian with a nice notice to let you know when you switched.☆46Nov 15, 2025Updated 6 months ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆16Nov 14, 2021Updated 4 years ago
- Python package for the simulation and estimation of generalized Roy model☆22Oct 28, 2024Updated last year
- ☆10Jun 14, 2019Updated 6 years ago
- Pure Data vanilla patches☆12Dec 12, 2019Updated 6 years ago
- Philosophy diagrams in Ti𝑘Z☆40Jul 13, 2021Updated 4 years ago
- Make map as wallpaper☆16Mar 5, 2023Updated 3 years ago
- Android Clean Architecture Framework☆10Nov 28, 2016Updated 9 years ago