Supplemental material for the "Beyond Notations" paper
☆10Feb 7, 2023Updated 3 years ago
Alternatives and similar repositories for macro-supplement
Users that are interested in macro-supplement are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A plugin for GHC to support super monads.☆26Oct 31, 2018Updated 7 years ago
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆22Updated this week
- The Saturn Homebrew Repository for Example Code, or SHREC, strives to provide working examples of code necessary to create homebrew game…☆11Feb 22, 2019Updated 7 years ago
- ☆39Sep 27, 2026Updated 3 weeks 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 purely functional programming language based on higher-order polymorphic lambda calculus☆24Jan 14, 2024Updated 2 years ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated last year
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- a servant like DSL for templating requests☆15Apr 8, 2021Updated 5 years ago
- Efficient, first-order, linear-chain conditional random fields☆13Nov 30, 2019Updated 6 years ago
- ☆72Updated this week
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- Kami based processor implementations and specifications☆23Jun 8, 2020Updated 6 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.
- ☆10Sep 9, 2017Updated 9 years ago
- Scala.js in your NPM as a CLI app. Easy to publish!☆13Mar 14, 2021Updated 5 years ago
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆23Mar 17, 2017Updated 9 years ago
- A proof of Conway's refinement conjecture in Lean☆55Sep 3, 2026Updated last month
- ☆10Jan 31, 2019Updated 7 years ago
- A parser for PureScript's corefn JSON representation.☆14Feb 9, 2019Updated 7 years ago
- Locality-sensitive hashing (LSH) in Julia.☆14Aug 31, 2021Updated 5 years ago
- VDrift with Umka scripting☆15Aug 22, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Mar 31, 2026Updated 6 months ago
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 16 years ago
- Better profiling reports for Julia☆14Feb 8, 2020Updated 6 years ago
- Lean specification of neural architectures with verified GPU codegen.☆34Updated this week
- Pelican plugin for creating alias pages (useful for moving from a different URL scheme such as /<year>/<month>/<title>/ as used by Wordpr…☆18Aug 10, 2020Updated 6 years ago
- Find multisyllabic rhymes (perfect, internal, and slant) within the CMU Pronouncing Dictionary.☆12Mar 7, 2017Updated 9 years ago
- An LC-3 virtual machine written in Rust for learning purposes.☆49Jan 30, 2023Updated 3 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 6 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.
- Simple dark theme for Logseq☆11Feb 4, 2022Updated 4 years ago
- Credential management for your Postgres database connections!☆18Oct 12, 2023Updated 3 years ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆21Updated this week
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- A simple Rust authentication service☆17Apr 11, 2020Updated 6 years ago
- ☆11Dec 30, 2020Updated 5 years ago
- A simple Haskell OAuth2 library☆18Jul 15, 2022Updated 4 years ago