RiccardoBiosas / LeanGPTView external linksLinks
Experiments with interactive theorem provers, LLMs and formal systems
☆23Jul 10, 2023Updated 2 years ago
Alternatives and similar repositories for LeanGPT
Users that are interested in LeanGPT are comparing it to the libraries listed below
Sorting:
- We're living in Obfustopia☆27Jan 2, 2025Updated last year
- Benchmark for undergraduate-level formal mathematics☆116Oct 14, 2024Updated last year
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆15Aug 22, 2021Updated 4 years ago
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Nov 13, 2025Updated 3 months ago
- Johann, the lightweight and flexible scenario orchestrator☆12Oct 3, 2022Updated 3 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- A collection of Claude commands and utilities☆24Updated this week
- ESP32 port of the existing TeslaBMS program☆10Jun 12, 2023Updated 2 years ago
- Set custom icons for Safari bookmarks on iOS☆11Feb 22, 2020Updated 5 years ago
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 8 months ago
- Backend for skillgraph - a skill based framework for building agents that work.☆28Nov 10, 2025Updated 3 months ago
- Chatbot for the good vibes.☆11Aug 29, 2024Updated last year
- An open source deep research clone. AI Agent (Local LLM or Gemini) that reasons large amounts of web data extracted with SwiftSoup.☆13Feb 10, 2025Updated last year
- Documentation sources for syslog-ng Open Source Edition (https://github.com/syslog-ng/syslog-ng)☆10May 6, 2024Updated last year
- Python 3 script for analyzing Apama correlator log files and extracting useful diagnostic information☆13Jan 27, 2025Updated last year
- Blazing fast, modular, next gen logagent☆11Jan 29, 2026Updated 2 weeks ago
- Bootstrap project using commercetools Sunrise Framework & Theme☆10Sep 4, 2019Updated 6 years ago
- AI Text2Image iOS App with OpenAPI <> OpenAI Swift Client Generation☆12Sep 18, 2023Updated 2 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆13Jan 29, 2026Updated 2 weeks ago
- a hassle-free GitHub Action to benchmark your code continuously.☆14Dec 1, 2025Updated 2 months ago
- Anonymize sensitive data in a controlled, pseudo-random way☆14Dec 18, 2015Updated 10 years ago
- A basic parser for ELB access logs, strongly inspired by node-clf-parser https://github.com/jfhbrook/node-clf-parser☆11Aug 3, 2018Updated 7 years ago
- ☆17Jan 31, 2026Updated 2 weeks ago
- Homebrew formulas for installing LLM and related tools☆14Sep 6, 2023Updated 2 years ago
- Source code for 'Mastering Salesforce DevOps' by Andrew Davis☆10May 13, 2020Updated 5 years ago
- 3scale is an API Infrastructure service which handles API Keys, Rate Limiting, Analytics, Billing Payments and Developer Management. Incl…☆22Mar 17, 2017Updated 8 years ago
- Tools to deploy a Polkadot/Kusama validator node.☆10Dec 27, 2024Updated last year
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 4 months ago
- Android app to be used with the 5x5 Stronglifts strength training program.☆10Mar 21, 2018Updated 7 years ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 10 years ago
- MacOS Finder Sync Extension to Allow Adding Custom Actions☆14Feb 15, 2022Updated 3 years ago
- ☆16Dec 5, 2018Updated 7 years ago
- The new Reactome REST API to access the data☆11Feb 2, 2026Updated last week
- MCP client for Discourse sites☆40Feb 6, 2026Updated last week
- Template for writing a contract in Rust.☆16Jan 22, 2026Updated 3 weeks ago
- Kd Tree builder on GPU using CUDA☆16May 15, 2011Updated 14 years ago
- ☆12Mar 4, 2025Updated 11 months ago
- Source code related to a blog post about ML Kit☆13Jul 24, 2018Updated 7 years ago