Latex version of “Harry Potter and the Methods of Rationality”
☆16Apr 23, 2023Updated 3 years ago
Alternatives and similar repositories for hpmor
Users that are interested in hpmor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- Covert Bitops www pages. C64-related material.☆12Oct 20, 2026Updated last week
- being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde☆13May 9, 2017Updated 9 years ago
- Eselsohr is a self-hostable bookmark manager for storing web articles.☆10Oct 4, 2026Updated 3 weeks ago
- ☆12Oct 3, 2026Updated 3 weeks 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.
- ☆10Apr 10, 2026Updated 6 months ago
- A grid-based layouting system described in structured text (org-mode) to typst converter.☆12May 12, 2026Updated 5 months ago
- Analysis of your architecture strength based on DSM data.☆12Oct 9, 2026Updated 2 weeks ago
- A Forth implementation for the Papilio☆10Dec 16, 2014Updated 11 years ago
- Python-SIDChip represents the Commodore 64 SID chip in a clean, concise way. It's able to produce a list of registers for sending to real…☆18Jan 8, 2020Updated 6 years ago
- ☆13Apr 5, 2024Updated 2 years ago
- A parameterizable Vivado HLS project (C/C++) that implements a master and slave AXI-Stream to AXI-Memory-Mapped data mover (AXI-S default…☆16Aug 29, 2018Updated 8 years ago
- The original Edinburgh LCF.☆34Oct 21, 2016Updated 10 years ago
- Python implementation of the IPLD specification.☆14Aug 31, 2022Updated 4 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 simple machine that points to the ISS☆15Aug 30, 2019Updated 7 years ago
- snickerdoodle Linux☆18Sep 10, 2018Updated 8 years ago
- Fulltext search for linkding☆17Feb 6, 2025Updated last year
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 6 years ago
- STL Viewer app for Android☆12Nov 10, 2018Updated 7 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 10 years ago
- ExternalDNS - OpenStack Designate Webhook☆17Updated this week
- GNUduino - Arduino made with gEDA☆12Mar 5, 2011Updated 15 years ago
- This is a tool for managing GPU partitions for NVIDIA Fabric Manager’s Shared NVSwitch.☆20Jul 2, 2026Updated 3 months 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.
- Single-purpose, isolated Codex SDK agents for common CLI tools (~6K tokens vs ~22K default)☆17Jul 2, 2026Updated 3 months ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- An Unlambda Interpreter and REPL☆11Sep 27, 2018Updated 8 years ago
- Type declarations for Node's Buffer class☆10Oct 22, 2026Updated last week
- ☆10Jan 21, 2016Updated 10 years ago
- SQL compatibility table☆12Apr 14, 2026Updated 6 months ago
- 🗄️ Run virtualized ZFS from userspace on macOS/Linux/Docker (without needing to install ZFS kernel modules or FUSE!)☆22Sep 9, 2026Updated last month
- Simple way to produce REST+JSON API from CSV file without headache☆13Oct 2, 2013Updated 13 years ago
- Finding the bacteria in rotting FPGA designs.☆14Dec 28, 2020Updated 5 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.
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- Toolkit for building http client libraries over Network HTTP Conduit☆12Jun 3, 2022Updated 4 years ago
- Коннектор к апи ФНС для проверки чеков от ОФД в ФНС☆15Dec 29, 2020Updated 5 years ago
- Main repository for the Open Knowledge Network.☆15Oct 12, 2026Updated 2 weeks ago
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- Advance battery monitoring system☆10Feb 3, 2020Updated 6 years ago
- Print file contents with syntax highlighting☆16Dec 22, 2015Updated 10 years ago