Write and prove functions in Lean 4, run them as Rust, Python, TypeScript and Clojure
☆20Nov 12, 2026Updated this week
Alternatives and similar repositories for lean-leanfran
Users that are interested in lean-leanfran are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 不適切表現をチェックするtextlintルール☆13Jan 7, 2023Updated 3 years ago
- ☆18Updated this week
- 自宅サーバーの構成管理☆25Updated this week
- Rexial - An open-source real-time quiz platform — host a live quiz, share a code, watch the leaderboard move as people answer. Hosts can …☆23Nov 5, 2026Updated last week
- おれの正規表現エンジン oregexp☆11Nov 21, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- namespaceを用いたコンテナランタイムの実装☆11Nov 28, 2025Updated 11 months ago
- Everything I own☆28Nov 2, 2026Updated last week
- GitHub IssueをProjectに自動登録☆10Updated this week
- Containerized environment for running coding agents with auditability on macOS and Linux☆14Updated this week
- A Windows file time library for Rust☆14Updated this week
- dotfiles, cli, tools, apps, editor settings, ai stuff, browser extensions☆12Updated this week
- A SUS (Sliding Universal Score) parser and generator.☆11Feb 12, 2022Updated 4 years ago
- Prosopo.io solver☆10Mar 11, 2025Updated last year
- PyVista-like API for VTK.wasm — bring intuitive 3D visualization to the browser using WebAssembly.☆10Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A fast, output-compatible Rust reimplementation of the AWS CLI v2☆17Updated this week
- ☆10Mar 25, 2026Updated 7 months ago
- 🍬 tiny OCaml compiler and PSan targeting to WebAssembly☆11Aug 15, 2024Updated 2 years ago
- robertfoster's PKGBUILD☆12Updated this week
- My Claude Code config, versioned in place at ~/.claude: skills for code review, issue triage, and releases, plus subagents, hooks, rules,…☆14Updated this week
- SkyRecompiled is a native ahead-of-time (AOT) static recompilation PC port of Pokémon Mystery Dungeon: Explorers of Sky, built on ndsreco…☆18Updated this week
- A Text-to-Speech node package with pinyin audio library.☆12Oct 30, 2026Updated 2 weeks ago
- High-Speed Nemesis & FNIS Patcher + .hkx development tools☆12Updated this week
- A lightweight self-hosted status monitoring tool, written in Rust.☆14Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- AI pairing partner that acts only through your editor and terminal☆11Updated this week
- A tiny, serverless pastebin-like service built on Cloudflare Pages Functions and Workers KV☆16Updated this week
- Command line utility for solution and project generation similar to premake5 or cmake☆11Oct 4, 2024Updated 2 years ago
- My blog☆15Updated this week
- Universal OpenCode plugin compatibility bridge — facades, one autodetection adapter, host kit, and doctor for OpenCode forks. MPL-2.0.☆12Updated this week
- [BMVC 2025] C³-GS: Learning Context-aware, Cross-dimension, Cross-scale Feature for Generalizable Gaussian Splatting☆12May 26, 2026Updated 5 months ago
- Qwen3.8-27B on One RTX 3090: 14 hours of measurements. Vision crash fix, VRAM math, MTP tuning, quantisation comparison, and 9 pieces of …☆13Aug 17, 2026Updated 2 months ago
- ☆10Updated this week
- Software tools of AgriMetSoft. https://agrimetsoft.com☆11Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Django template using my favorite packages☆12Jun 17, 2026Updated 4 months ago
- TrackmaniaExchange directly on your TrackMania! For TM2020 and MP4☆11Oct 30, 2026Updated 2 weeks ago
- ☆13Updated this week
- A Windows10/11 modern window DEMO using classic Win32 API.☆13Oct 21, 2026Updated 3 weeks ago
- Apache Arrow Flight clustered vector engine for high throughput Agent memory sharing☆14Updated this week
- ☆17Updated this week
- This tool serves as an initial version scanner specifically designed for PrestaShop, a popular e-commerce platform. The primary purpose o…☆21Jun 2, 2025Updated last year
Are these results useful?