isabelle-prover / isabelle-linterView external linksLinks
Linter component for Isabelle.
☆20Dec 20, 2025Updated last month
Alternatives and similar repositories for isabelle-linter
Users that are interested in isabelle-linter are comparing it to the libraries listed below
Sorting:
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Jan 27, 2026Updated 2 weeks ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆27Jan 23, 2026Updated 3 weeks ago
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago
- Open source LaTeX of Pharo By Example☆67Mar 24, 2015Updated 10 years ago
- GPI-Space: Memory Driven Computing and Big Data☆10Jan 2, 2025Updated last year
- oidc-client-ts wrapper for Angular and Capacitor☆12Dec 14, 2025Updated 2 months ago
- Self-evaluating RAG application on LangCheck docs☆11Sep 10, 2025Updated 5 months ago
- A simple C++ COLLADA parser and OpenGL viewer, DevIL texture loading with a test QT interface.☆10Jul 22, 2012Updated 13 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Experience Analysis Utility Functions☆11Jun 5, 2024Updated last year
- A Python client library for accessing IQM quantum computers☆13Mar 26, 2025Updated 10 months ago
- Simple getting started procedure for SciCat☆11Updated this week
- Amplify your coding capabilities with AI - your smart co-pilot for an elevated coding experience.☆14Feb 9, 2026Updated last week
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- Dockerized Screaming Frog SEO Spider☆13May 22, 2023Updated 2 years ago
- IonQ iQuHACK 2024 Remote Challenge☆11Feb 3, 2024Updated 2 years ago
- gammcor code☆11Sep 25, 2025Updated 4 months ago
- PSI-MOD ontology for modified and unmodified amino acid residues☆14Jan 8, 2026Updated last month
- Paper dataset for "Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers"☆13Oct 20, 2024Updated last year
- A NOMAD plugin containing base sections for material processing.☆11Jan 20, 2026Updated 3 weeks ago
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Feb 6, 2026Updated last week
- ☆14Jul 23, 2024Updated last year
- ☆20Updated this week
- Handles OpenDocument files and translates them to HTML.☆10Oct 8, 2019Updated 6 years ago
- Directly copy selected code or files from vscode to a chatgpt tab in browser☆12Mar 14, 2024Updated last year
- A framework for few-shot evaluation of autoregressive language models.☆12Jul 14, 2025Updated 7 months ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Apr 23, 2025Updated 9 months ago
- A C++ client library for communication with an IPC-patched dwm☆10Jul 24, 2020Updated 5 years ago
- Forked robosuite for LASER project☆12Jan 8, 2021Updated 5 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- A collection of scripts and tools for analyzing SWE agents.☆15May 7, 2025Updated 9 months ago
- Experiments with signed distance fields☆11May 25, 2023Updated 2 years ago
- Source code for the Joint Shapley values: a measure of joint feature importance☆13Sep 14, 2021Updated 4 years ago
- https://vibed.org/blog/posts/a-scalable-chat-room-service-in-d☆10Nov 13, 2024Updated last year
- Workshop that will take you from Graph Neural Networks (GNNs) to Transformers, architectures which have led to numerous breakthrough achi…☆13Sep 11, 2023Updated 2 years ago
- Simple forth environment written in 2002☆10Dec 17, 2015Updated 10 years ago
- plain bash algorithms☆10Feb 18, 2016Updated 9 years ago
- reactive mybatis support examples☆13Jan 21, 2023Updated 3 years ago