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:
- Fast asynchronous GPU monitoring tool across multiple machines through SSH☆11Nov 26, 2024Updated last year
- Python wrapper for lean-gym☆12Apr 5, 2023Updated 2 years ago
- GPT* - Training faster small transformers using ALiBi, Parallel Residual Connections and more!☆21Oct 29, 2022Updated 3 years ago
- typescript supabase client replacement in the small☆10Feb 23, 2026Updated last week
- Example python project demonstrating how to create a native macOS GUI with AppKit and PyObjC☆34Jul 15, 2025Updated 7 months ago
- Benchmark for undergraduate-level formal mathematics☆117Oct 14, 2024Updated last year
- Learning Formal Mathematics from Intrinsic Motivation☆37Jul 10, 2025Updated 7 months ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- FiscalSim US is a microsimulation model of the US federal and state tax and benefit system relating to households and individuals.☆11Dec 20, 2024Updated last year
- A macOS GUI tool that calls GraphicsMagick to batch-edit images.☆12Updated this week
- ESP32 port of the existing TeslaBMS program☆10Jun 12, 2023Updated 2 years ago
- The standard template to create a lean game☆42Feb 20, 2026Updated 2 weeks ago
- Python 3 script for analyzing Apama correlator log files and extracting useful diagnostic information☆13Jan 27, 2025Updated last year
- An extension to interact with DeSo Blockchain on few simple clicks 🥳☆12Jan 25, 2024Updated 2 years ago
- ☆10Jul 22, 2024Updated last year
- This repo contains essential resources, documentation, and example scripts to guide you through the basics of Rust, focusing on building…☆16Oct 19, 2024Updated last year
- ☆12Aug 6, 2024Updated last year
- AI Text2Image iOS App with OpenAPI <> OpenAI Swift Client Generation☆12Sep 18, 2023Updated 2 years ago
- Backend for skillgraph - a skill based framework for building agents that work.☆28Nov 10, 2025Updated 3 months ago
- Documentation sources for syslog-ng Open Source Edition (https://github.com/syslog-ng/syslog-ng)☆10May 6, 2024Updated last year
- JPMorgan Virtual Internship on Excel Skills☆12Jan 7, 2024Updated 2 years ago
- Bootstrap project using commercetools Sunrise Framework & Theme☆10Sep 4, 2019Updated 6 years ago
- Blazing fast, modular, next gen logagent☆11Feb 24, 2026Updated last week
- MacOS, Linux and Windows Clipboard Management App☆11Mar 10, 2025Updated 11 months ago
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- 🔮 MacOS menu bar app to see prices of ASA pairs from Tinyman.org 👀☆12Feb 23, 2026Updated last week
- ☆10Jan 7, 2019Updated 7 years ago
- Source code related to a blog post about ML Kit☆13Jul 24, 2018Updated 7 years ago
- A package for representing quasi-arrays☆11Feb 27, 2026Updated last week
- Kd Tree builder on GPU using CUDA☆16May 15, 2011Updated 14 years ago
- Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and s…☆16Nov 6, 2024Updated last year
- A fast erlang gRPC client -- with fast http/2 and long connection☆11Dec 20, 2016Updated 9 years ago
- A Swift version of Marvis TTS, running locally on Apple Silicon using MLX Swift.☆22Jan 4, 2026Updated 2 months ago
- experimenting with beam cluster setup☆10Mar 21, 2023Updated 2 years ago
- RedisGraph Julia client☆12Oct 29, 2025Updated 4 months ago
- This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.☆10Nov 23, 2022Updated 3 years ago
- Some transcoding features☆18Oct 15, 2012Updated 13 years ago
- Code for the paper Multi-Armed Bandits with Correlated Arms☆10Jun 3, 2021Updated 4 years ago
- Anonymize sensitive data in a controlled, pseudo-random way☆14Dec 18, 2015Updated 10 years ago