☆16Jul 29, 2024Updated last year
Alternatives and similar repositories for automatic-lean4-compilation
Users that are interested in automatic-lean4-compilation are comparing it to the libraries listed below
Sorting:
- ☆35Jan 10, 2025Updated last year
- ☆17Jul 12, 2025Updated 7 months ago
- Proof artifact co-training for Lean☆45Dec 29, 2022Updated 3 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆191Feb 25, 2026Updated last week
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…☆14Feb 28, 2023Updated 3 years ago
- プログラミング de 落書きで公開しているコードを共有します☆24Updated this week
- ☆24Feb 18, 2026Updated 2 weeks ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- Self service portal for aws workspace☆11Dec 10, 2023Updated 2 years ago
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 7 months ago
- ☆10Dec 24, 2021Updated 4 years ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 2 months ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆42May 29, 2024Updated last year
- The code of COMMA: Modeling Relationship among Motivations, Emotions and Actions in Language-based Human Activities. https://aclanthology…☆12Oct 12, 2022Updated 3 years ago
- Conversational Agent for Twitter and Discord☆10Updated this week
- A constraint programming solver.☆10Jan 10, 2024Updated 2 years ago
- Process for Polymesh Association grant program☆18Jun 19, 2024Updated last year
- The smart contracts powering jpg.store☆15Jul 2, 2024Updated last year
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- A collection of libraries in Scheme☆13Mar 2, 2021Updated 5 years ago
- MCP server for development in Rust☆25Updated this week
- Wikipedia clone for ZeroNet with auto-import☆13Feb 27, 2023Updated 3 years ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- ☆13Jun 25, 2025Updated 8 months ago
- Rosetta Server for Solana Blockchain☆11Feb 17, 2021Updated 5 years ago
- A network scanning CLI, TUI, and Rust Package that makes it easy to perform ARP & SYN scanning for a LAN☆24Updated this week
- ☆14Apr 20, 2024Updated last year
- A Simple Discord Bot with a Rasa Connection☆10Jan 3, 2025Updated last year
- A trade robot on pumpfun use DeepSeek AI☆12Feb 5, 2025Updated last year
- jamstack (js, api, markup) generator. js + css + html boilerplate size ~10kb.☆11Dec 12, 2024Updated last year
- Code for "ParaGuide: Guided Diffusion Paraphrasers for Plug-and-Play Textual Style Transfer"☆15Jul 17, 2024Updated last year
- A grant application management web app☆11Mar 19, 2018Updated 7 years ago
- C++ STL for speed and cryptanalytic application☆11Dec 16, 2025Updated 2 months ago
- Converts ANTLR grammar .g4 files into EBNF for naive-ebnf LaTeX package; also converts to PDF later on☆11Feb 2, 2026Updated last month