Graduate seminar on the modern history of modal logic
☆12May 17, 2025Updated last year
Alternatives and similar repositories for ModalHistory
Users that are interested in ModalHistory 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 hyperintensional theorem prover for rapidly prototyping modular semantic theories☆14Oct 15, 2026Updated 3 weeks ago
- Code for the paper "Detecting High-Stakes Interactions using Activation Probes"☆13Feb 9, 2026Updated 8 months ago
- An LLM client where each conversation is a markdown file☆12Oct 12, 2026Updated 3 weeks ago
- Replaces sycophancy with truth-telling in open-weight LLMs via Aristotelian virtue training, a third path beyond RLHF and Constitutional …☆16Oct 30, 2026Updated last week
- M2S: Multi-turn to Single-turn jailbreak in Red Teaming for LLMs☆13Aug 6, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- Tactic for polynomial manipulations☆13Oct 28, 2026Updated last week
- Regular reading group of the Prague programming languages and systems research network.☆17Oct 29, 2026Updated last week
- Clustering notions for the knowledge LaTeX package☆20Jan 27, 2026Updated 9 months ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated last year
- ☆26Jun 18, 2025Updated last year
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆24May 28, 2025Updated last year
- String diagram visualiser☆19Updated this week
- Topos theory in Lean 4☆19Feb 10, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆32Nov 2, 2025Updated last year
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆59Oct 5, 2026Updated last month
- Fragment-based Molecular Expansion☆28Jan 11, 2024Updated 2 years ago
- Open-source protocol integrating collective and artificial intelligence — LLM orchestration, agentic workflows, and RAG in a cross-platfo…☆26Aug 23, 2026Updated 2 months ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆37Oct 27, 2026Updated last week
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆27Apr 7, 2025Updated last year
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Nov 1, 2022Updated 4 years ago
- Voxel Terrain Generator☆35Aug 11, 2020Updated 6 years ago
- Vermilion: Verus meets Lean☆65Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Typst template mimicking acmart latex class☆35Jan 2, 2026Updated 10 months ago
- [ICDAR 2025] The official GitHub page of "MCCD: A Multi-Attribute Chinese Calligraphy Character Dataset Annotated with Script Styles, Dyn…☆46Jul 18, 2026Updated 3 months ago
- Ongoing research training transformer models at scale☆53Sep 20, 2026Updated last month
- Simplistic alarm clock for Raspberry Pi that syncs with Google Calendar☆31Aug 24, 2023Updated 3 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆43Oct 21, 2020Updated 6 years ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆35May 22, 2026Updated 5 months ago
- An enhanced unification algorithm for Coq☆60Oct 30, 2026Updated last week
- my awesome nvim config☆63Oct 9, 2026Updated 3 weeks ago
- Official github repo for SafeDialBench, a comprehensive multi-turn dialogue benchmark to evaluate LLMs' safety.☆57May 12, 2025Updated last year
- 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.
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆70Mar 28, 2024Updated 2 years ago
- Animated programming language for children of all ages☆58Aug 6, 2026Updated 3 months ago
- PhD course on Functional Programming and Climate Impact Research☆55May 25, 2026Updated 5 months ago
- My master thesis for the MSc. in Photonics engineering at Ghent University☆56Oct 10, 2026Updated 3 weeks ago
- Topos theory in lean☆66Jan 6, 2021Updated 5 years ago
- Visual environment for manipulation the lambda calculus expressions☆79Mar 9, 2026Updated 7 months ago
- Code repo for the model organisms and convergent directions of EM papers.☆90Sep 22, 2025Updated last year