A math language for dimensional analysis
☆24May 19, 2023Updated 3 years ago
Alternatives and similar repositories for pedant
Users that are interested in pedant are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆23Aug 6, 2025Updated last year
- This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…☆19Apr 18, 2022Updated 4 years ago
- Anki deck: Some key numbers that every effective altruist should know.☆26Jul 17, 2023Updated 3 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- Datasets of all trades on Polymarket's online prediction markets for the 2022 US midterm elections.☆14Nov 20, 2022Updated 3 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.
- Day 2 of Lambda School's Machine Learning Mini Bootcamp☆10Aug 31, 2018Updated 7 years ago
- ☆12Mar 23, 2024Updated 2 years ago
- Code to support the guide to logical induction for software engineers☆11Jul 12, 2026Updated last month
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- Testing language concurrency primitives with a file line counter☆11Oct 5, 2018Updated 7 years ago
- ☆11Feb 25, 2020Updated 6 years ago
- A python implementation of the nobel prize winning matching algorithm.☆11Nov 22, 2023Updated 2 years ago
- Python tools for working with Manifold Markets☆41Jul 10, 2026Updated last month
- ☆18Jul 20, 2023Updated 3 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.
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆31Feb 17, 2026Updated 5 months ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆48May 18, 2026Updated 2 months ago
- Build languages on Python.☆12May 2, 2021Updated 5 years ago
- A library for mechanistic anomaly detection☆22Jan 9, 2025Updated last year
- A remark plugin for making interactive markdown documents with Tangle.☆13Oct 25, 2021Updated 4 years ago
- ☆18Updated this week
- Use handlebar templates in tide☆10Jun 7, 2021Updated 5 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- ☆13Dec 7, 2022Updated 3 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.
- Brain dead simple audio piper with ALSA☆10Oct 26, 2015Updated 10 years ago
- Distributed hash-table node☆13Oct 2, 2023Updated 2 years ago
- Manage "engagement" on Twitter by moving retweets and algorithmic tweets to their own lists☆15Jun 4, 2021Updated 5 years ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- subset-Prolog-like DSL running on Factor☆10Apr 7, 2020Updated 6 years ago
- Load an SSH key for the day using LastPass CLI☆17Jan 6, 2021Updated 5 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- Extract frontmatter from markdown code blocks using remark, and do interesting things!☆13Dec 4, 2022Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆41Jun 13, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Fork of ag with added support for PCRE2 and ~/.agrc☆15Jan 30, 2022Updated 4 years ago
- (Model-written) LLM evals library☆19Dec 13, 2024Updated last year
- Exercism exercises in D.☆20Aug 5, 2026Updated last week
- Semaphore 2.0 documentation.☆22Oct 18, 2024Updated last year
- JavaScript and TypeScript bindings for the Haiku Operating System☆11Oct 8, 2019Updated 6 years ago
- Eselsohr is a self-hostable bookmark manager for storing web articles.☆10Jun 4, 2026Updated 2 months ago
- List of awesome resources and companies that practice microtasking☆16Feb 20, 2019Updated 7 years ago