Set of agent skills of Lean code generation for software development
☆17Jul 6, 2026Updated 3 months ago
Alternatives and similar repositories for lean-reinforced-concrete
Users that are interested in lean-reinforced-concrete are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆24May 3, 2026Updated 5 months ago
- Docs → RFC2119 spec + Lean4 formal verification, via local-class LLMs☆19Sep 14, 2026Updated last month
- Desktop app for managing and reading local PDF libraries☆22Oct 2, 2026Updated 3 weeks ago
- Unofficial entropix impl for Gemma2 and Llama and Qwen2 and Mistral☆17Jan 12, 2025Updated last year
- Document Drivien Development☆18Nov 9, 2025Updated 11 months ago
- 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.
- ☆17Jun 18, 2026Updated 4 months ago
- Small implementation of the paper TiDAR: Think in Diffusion, Talk in Autoregression☆21Dec 26, 2025Updated 9 months ago
- Set and get a value☆15Oct 24, 2021Updated 4 years ago
- Lays contents at root-relative targets, as the manifest says. Formerly nput.☆18Updated this week
- ☆16Oct 2, 2026Updated 3 weeks ago
- dotfiles☆12Sep 6, 2025Updated last year
- Given Name Searcher in Japanese☆11Jan 26, 2025Updated last year
- Add Skeb button to Twitter☆12Nov 26, 2021Updated 4 years ago
- Unofficial PoC: a BERT-style encoder decision engine behind a typed-decision (noul / choice / score) HTTP API. Not affiliated with TypeSa…☆35Sep 22, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Windows IME patches for Emacs in the MSYS2 environment☆10Apr 17, 2025Updated last year
- ☆14Oct 7, 2026Updated 2 weeks ago
- ☆11Nov 2, 2022Updated 3 years ago
- Emacs major mode for editing SATySFi documents☆10Sep 6, 2019Updated 7 years ago
- Vite plugin to enable calling Node.js-dependent functions directly from Cloudflare Workers☆25Dec 29, 2025Updated 9 months ago
- WSL Utilities☆13May 18, 2026Updated 5 months ago
- Implementation of substrate light client in rust, compilable to wasm.☆18Feb 3, 2021Updated 5 years ago
- Extensions for *scratch* buffer of Emacs☆13Jun 17, 2022Updated 4 years ago
- Privacy Solution for Bitcoin Using the Secret Network☆14Dec 29, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Plasma Next☆35Apr 5, 2024Updated 2 years ago
- 27B at 256k context on one RTX 5090 — FP6 + 4-bit KV + MTP spec-decode, hand-written SM120 tensor-core kernels, OpenAI API.☆18Aug 18, 2026Updated 2 months ago
- Homomorphic Random Forest library☆16Apr 12, 2023Updated 3 years ago
- Dockerfile and helper script for running ShogiGUI + YaneuraOu on Linux☆11Mar 25, 2025Updated last year
- 技術書を読みながら、気になった箇所を選択して AI に質問できる PDF リーダー☆105Updated this week
- The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.☆27Updated this week
- How the Web3 reinvents the Internet - Copyleft 2020, Shermin Voshmgir: Creative Commons – CC BY-NC-SA☆12Aug 4, 2021Updated 5 years ago
- easy accessor to vippool-clerk python library☆10Apr 11, 2022Updated 4 years ago
- ☆16Oct 2, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A synchronized Shogi board on Web. リアルタイムで同期する将棋盤を複数人が自由に操作できるWebアプリ。自由対局や感想戦、研究会などに。ドラッグ＆ドロップ対応。スマートフォン、タブレット対応（レスポンシブ）。SFEN（USI）入出力対応。簡…☆12Aug 21, 2025Updated last year
- blockchain RDB for multipurpose☆12Apr 11, 2022Updated 4 years ago
- Encoding and decoding Segregated Witness addresses in Bech32 format☆16Apr 5, 2023Updated 3 years ago
- Text-based to-do management CLI & language server☆17Jan 15, 2023Updated 3 years ago
- Python Fusion Tables client☆19Jul 18, 2011Updated 15 years ago
- Language-Agnostic Functional Programming in JSON☆11Oct 18, 2025Updated last year
- Fast UltraGroth prover written in C++ based on rapidsnark, that generates proofs for circuits created with circom and snarkjs.☆10Nov 25, 2025Updated 10 months ago