Set of agent skills of Lean code generation for software development
☆17Jul 6, 2026Updated last week
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:
- ☆17May 3, 2026Updated 2 months ago
- Grammar test suite for masked language models☆10Jan 1, 2023Updated 3 years ago
- Dancing with Strudel☆29May 11, 2026Updated 2 months ago
- my arch configuration with niri☆36Mar 30, 2026Updated 3 months ago
- Open-source X (Twitter) marketing automation — the self-hosted alternative to XTEP☆71Updated 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.
- ICS MEDIA「WebGPU・WebGL開発に役立つ三角関数の数式・概念まとめ (Three.js編)」で紹介したコードを掲載します。☆13Jun 17, 2026Updated 3 weeks ago
- Windows IME patches for Emacs in the MSYS2 environment☆10Apr 17, 2025Updated last year
- Emacs major mode for editing SATySFi documents☆10Sep 6, 2019Updated 6 years ago
- 本サンプルコードは「ゼロから学ぶスパイキングニューラルネットワーク」で取り扱っているコードをまとめたものです．☆18Jan 2, 2021Updated 5 years ago
- ☆15Aug 7, 2022Updated 3 years ago
- Node+Express+MongoDBによるGyazzの再実装☆22Jan 20, 2016Updated 10 years ago
- ☆11Nov 2, 2022Updated 3 years ago
- Add Skeb button to Twitter☆12Nov 26, 2021Updated 4 years ago
- Solidity based prover for AWS Nitro enclave attestations☆25Dec 13, 2024Updated last year
- 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.
- Plasma Next☆35Apr 5, 2024Updated 2 years ago
- Tapyrus Core☆48Updated this week
- Privacy Solution for Bitcoin Using the Secret Network☆14Dec 29, 2022Updated 3 years ago
- Text-based to-do management CLI & language server☆17Jan 15, 2023Updated 3 years ago
- ☆12Jul 7, 2017Updated 9 years ago
- How the Web3 reinvents the Internet - Copyleft 2020, Shermin Voshmgir: Creative Commons – CC BY-NC-SA☆12Aug 4, 2021Updated 4 years ago
- 京都工芸繊維大学2021年度講義「言語処理プログラミング」の成果物です☆14May 12, 2026Updated 2 months ago
- easy accessor to vippool-clerk python library☆10Apr 11, 2022Updated 4 years ago
- interactive macro-expander for Emacs☆30Feb 2, 2025Updated last year
- 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.
- Language-Agnostic Functional Programming in JSON☆11Oct 18, 2025Updated 8 months ago
- Counterparty web wallet☆13May 27, 2023Updated 3 years ago
- blockchain RDB for multipurpose☆12Apr 11, 2022Updated 4 years ago
- ☆13Oct 15, 2025Updated 8 months ago
- ☆38Nov 7, 2025Updated 8 months ago
- An easy UI to configure new and existing BTCPay deployments.☆14May 4, 2026Updated 2 months ago
- Posframe frontend for mozc.el☆17May 2, 2025Updated last year
- Good old days / 100万円を稼いだ原資で叩くゴミコード☆12Jul 24, 2022Updated 3 years ago
- 老害に反旗を翻す渋谷界隈の若者言葉言語。☆16Mar 8, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 世界初の3Dライブエンジン「QWET」☆15Oct 9, 2025Updated 9 months ago
- An alternative full node monacoin implementation written in Go (golang)☆16Oct 21, 2024Updated last year
- ☆48Dec 8, 2025Updated 7 months ago
- Shell script manager for remote/local/container invocations in a <3MiB statically-linked executable.☆17Sep 7, 2025Updated 10 months ago
- Sentiment v2☆40May 29, 2026Updated last month
- ☆46Jan 11, 2023Updated 3 years ago
- IBC in Solidity☆145Feb 28, 2025Updated last year