Linter component for Isabelle.
☆20Dec 20, 2025Updated 2 months ago
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
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆82Updated this week
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Updated this week
- A benchmark for serverless analytic databases.☆25Jan 23, 2026Updated last month
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆27Jan 23, 2026Updated last month
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago
- GPI-Space: Memory Driven Computing and Big Data☆10Jan 2, 2025Updated last year
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- Example to read qr code with kotlin☆10Jul 24, 2018Updated 7 years ago
- A simple C++ COLLADA parser and OpenGL viewer, DevIL texture loading with a test QT interface.☆10Jul 22, 2012Updated 13 years ago
- Self-evaluating RAG application on LangCheck docs☆11Sep 10, 2025Updated 6 months ago
- This repo would serve as an interface between the different clients and the platform. For API information please refer to the fabric8-ana…☆12Apr 13, 2023Updated 2 years ago
- oidc-client-ts wrapper for Angular and Capacitor☆12Dec 14, 2025Updated 2 months ago
- Simple getting started procedure for SciCat☆11Updated this week
- Racket bindings for the Slack API☆10Mar 4, 2019Updated 7 years ago
- Amplify your coding capabilities with AI - your smart co-pilot for an elevated coding experience.☆14Updated this week
- Directly copy selected code or files from vscode to a chatgpt tab in browser☆12Mar 14, 2024Updated last year
- ☆21Updated this week
- PSI-MOD ontology for modified and unmodified amino acid residues☆14Jan 8, 2026Updated 2 months ago
- Handles OpenDocument files and translates them to HTML.☆10Oct 8, 2019Updated 6 years ago
- gammcor code☆11Sep 25, 2025Updated 5 months ago
- Dockerized Screaming Frog SEO Spider☆13May 22, 2023Updated 2 years ago
- A Python client library for accessing IQM quantum computers☆12Mar 26, 2025Updated 11 months ago
- A framework for few-shot evaluation of autoregressive language models.☆12Jul 14, 2025Updated 7 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Paper dataset for "Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers"☆12Oct 20, 2024Updated last year
- ☆15Jul 23, 2024Updated last year
- ☆10Nov 15, 2021Updated 4 years ago
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- Fork of Triton repository for OpenXLA uses of the Triton language and compiler☆15Feb 24, 2026Updated last week
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Updated this week
- Source code for the Joint Shapley values: a measure of joint feature importance☆13Sep 14, 2021Updated 4 years ago
- Lindemann–Weierstrass Theorem☆11May 4, 2024Updated last year
- ☆11Aug 3, 2021Updated 4 years ago
- Dialog eZ Cash Payment Gateway for WooCommerce☆12Jun 15, 2021Updated 4 years ago
- Contains the xSDK community policies. The master branch is the latest accepted version of the policies and will be applied to future xSDK…☆11Jun 14, 2024Updated last year
- ☆11Apr 6, 2024Updated last year
- https://vibed.org/blog/posts/a-scalable-chat-room-service-in-d☆10Nov 13, 2024Updated last year
- Simple forth environment written in 2002☆11Dec 17, 2015Updated 10 years ago