In tree calculus, typing becomes programming. The paper is supported by proofs in Rocq
☆18Nov 4, 2026Updated this week
Alternatives and similar repositories for typing-rules-as-programs
Users that are interested in typing-rules-as-programs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple Observe Stack (sobs) is a lightweight application RUM, telemetry, logs, errors and AI focused container for application insights. …☆14Oct 26, 2026Updated last week
- Render Mermaid diagrams as Unicode terminal art in Neovim☆34Updated this week
- Native compact Nix build output with full local logs, bounded diagnostics, and a flake interface☆19Oct 23, 2026Updated 2 weeks ago
- Alchemy provider for self-hosted celld instances: systemd units, SeaweedFS object store, ten-port layout, restart gate. Topology is injec…☆57Oct 17, 2026Updated 3 weeks ago
- This repository showcases how to create image processing pipelines using GStreamer, DeepStream and other technologies.☆10Aug 15, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This repository contains the code and configuration files for setting up Karpenter on an existing Amazon EKS cluster, as described in the…☆12Sep 8, 2024Updated 2 years ago
- High-performance, distributed build, verification, and counterexample tooling for Lean 4☆55Updated this week
- CF CLI Developer workstation setup/maintenance repository☆11Sep 15, 2022Updated 4 years ago
- Recurse: a fully local agentic harness built on top of Pi Durable.☆31Updated this week
- ☆320Updated this week
- XCode 4 IDE Project Template for write Assembler Command Line Tool. MSPS - Minimal Standart Project Settings.☆13Mar 16, 2011Updated 15 years ago
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Turn Rex into a harness for your coding agent: see what it changed, review it in Neovim, send comments back. Claude Code, Codex, OpenCode…☆53Updated this week
- 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.
- DeepClause Typescript DML SDK and runtime☆80Oct 29, 2026Updated last week
- Distributors - Unifying Parsers, Printers & Grammars☆69Updated this week
- A neovim plugin to add notes or comments to any buffer☆14Sep 10, 2023Updated 3 years ago
- Best practices, and how to work in this Org.☆13Jul 19, 2022Updated 4 years ago
- 👑 Rat King: an encrypted, AT Protocol agent network. Pure rat-stack: Effect + Alchemy, deploys to Cloudflare and celld.☆44Updated this week
- The original parsing with derivatives haskell implementation☆13Aug 25, 2015Updated 11 years ago
- Command Line Launcher for the iPhone Simulator☆14Feb 24, 2012Updated 14 years ago
- My solutions to OpenAI gym problems.☆10Jul 31, 2016Updated 10 years ago
- Data and code used in Yarkoni (2019) -- "The Generalizability Crisis"☆13Nov 22, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Backup your entire Ulysses preferences folder (which includes your sheets, preferences, etc)☆16Apr 14, 2016Updated 10 years ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- Scripts and demos from experimenting with Sprites☆13Oct 2, 2026Updated last month
- moved to https://github.com/imjasonh/playground/tree/main/pasta☆15Aug 13, 2026Updated 2 months ago
- A Haskell package for updatable discrete distributions☆12Jan 4, 2021Updated 5 years ago
- Web browser in your terminal using Kitty graphics protocol☆12Mar 10, 2026Updated 7 months ago
- Programming language for AI age☆82Oct 23, 2026Updated 2 weeks ago
- fast unicode operations in go☆13Oct 17, 2026Updated 3 weeks ago
- Free Monad Example☆10Mar 20, 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.
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- Fast Python linter for catching LLM-generated anti-patterns. Written in Rust, built on tree-sitter.☆11Jul 29, 2026Updated 3 months ago
- A simple and easy library for text-based game development☆12Feb 16, 2026Updated 8 months ago
- Sandbox first AI coding harness☆51Updated this week
- A small functional language with effect inference based on Koka.☆10Nov 19, 2016Updated 9 years ago
- Anonymous function creation in R and purrr☆14Jan 11, 2020Updated 6 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago