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 8 years ago
- 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
- A Lean (4) type checker written in RPython☆11Updated this week
- A purely functional programming language based on higher-order polymorphic lambda calculus☆24Jan 14, 2024Updated 2 years ago
- Jahob Verification System☆13Mar 19, 2017Updated 9 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.
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years ago
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated last month
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated last year
- Kami based processor implementations and specifications☆23Jun 8, 2020Updated 6 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- a servant like DSL for templating requests☆15Apr 8, 2021Updated 5 years ago
- Deductive verifier for CUDA☆16Dec 19, 2016Updated 9 years ago
- ☆10Sep 9, 2017Updated 9 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.
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 3 weeks ago
- Tiger Compiler from Modern Compiler Implementation in ML☆23Mar 17, 2017Updated 9 years ago
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- Scala.js in your NPM as a CLI app. Easy to publish!☆13Mar 14, 2021Updated 5 years ago
- A parser for PureScript's corefn JSON representation.☆14Feb 9, 2019Updated 7 years ago
- VDrift with Umka scripting☆15Aug 22, 2021Updated 5 years ago
- 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,@…☆26Mar 31, 2026Updated 7 months ago
- Better profiling reports for Julia☆14Feb 8, 2020Updated 6 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.
- Locality-sensitive hashing (LSH) in Julia.☆14Aug 31, 2021Updated 5 years ago
- Find multisyllabic rhymes (perfect, internal, and slant) within the CMU Pronouncing Dictionary.☆12Mar 7, 2017Updated 9 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 6 years ago
- Simple dark theme for Logseq☆11Feb 4, 2022Updated 4 years ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆28Jul 27, 2026Updated 3 months ago
- ☆10Jan 31, 2019Updated 7 years ago
- An LC-3 virtual machine written in Rust for learning purposes.☆49Jan 30, 2023Updated 3 years ago
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆12May 18, 2025Updated last year
- Efficient, first-order, linear-chain conditional random fields☆13Nov 30, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 16 years ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 9 years ago
- A JavaScript Linked List implementation.☆12Sep 25, 2013Updated 13 years ago
- A simple Haskell OAuth2 library☆18Jul 15, 2022Updated 4 years ago
- trovilo collects and prepares files from Kubernetes ConfigMaps for Prometheus & friends☆15May 21, 2019Updated 7 years ago
- Lox language implementation in Rust☆17Jul 30, 2022Updated 4 years ago
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago