☆34Sep 30, 2026Updated last week
Alternatives and similar repositories for cangjie_compiler
Users that are interested in cangjie_compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Review Pi agent work, run visible tmux workers, and save evidence outside model context☆17Aug 10, 2026Updated 2 months ago
- ☆16Mar 25, 2024Updated 2 years ago
- ☆11Apr 18, 2023Updated 3 years ago
- Pair programming with Pi, be aware of every change made to the codebase.☆20Jul 3, 2026Updated 3 months ago
- a coding agent harness☆27Updated this week
- 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.
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- Performant kernels for symmetric tensors☆17Aug 22, 2024Updated 2 years ago
- ☆23May 9, 2026Updated 5 months ago
- SAT Live! web site☆11Jul 19, 2026Updated 2 months ago
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago
- ☆47Updated this week
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- 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.
- ☆22Aug 23, 2026Updated last month
- Repositorio de la optativa para la FCEIA☆14Apr 8, 2025Updated last year
- 基于Spring-EL、AOP，更加灵活易用的权限控制框架，支持权限分组，可用于一套系统多种权限隔离校验，使用简单、易于扩展，支持Servlet、Reactive☆10Apr 2, 2021Updated 5 years ago
- Codebase vital signs for Claude Code — finds hotspots, diagnoses root causes, ranks fixes by ROI☆43Mar 4, 2026Updated 7 months ago
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Sep 26, 2026Updated 2 weeks ago
- A modern library for building production-grade compilers☆17Feb 18, 2025Updated last year
- MimIR is my Intermediate Representation☆148Updated this week
- Type Checking in Lean 4☆41Mar 22, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Refinement type checking and inference tool for Rust☆25Updated this week
- TriCera: a model checker for C programs☆27Updated this week
- OpenAI's Realtime API minus the enterprise bloat☆50Nov 21, 2024Updated last year
- ☆42Mar 31, 2026Updated 6 months ago
- CertiCrypt Coq Framework☆39Apr 6, 2016Updated 10 years ago
- A Bison-inspired parser generator and compiler frontend framework for Rust, with IELR(1), LALR(1), GLR, and LSP support.☆30Sep 11, 2026Updated 3 weeks ago
- Let the grumpy senior dev review your code with this MCP server☆21Apr 17, 2025Updated last year
- MLIR+EqSat☆31Jan 10, 2026Updated 9 months ago
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A clone of Super Mario World implemented in Unity.☆36Nov 18, 2019Updated 6 years ago
- api gateway based on netty☆11Jun 14, 2018Updated 8 years ago
- GitHub action for standard CI in Lean projects☆46Updated this week
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆77Feb 20, 2026Updated 7 months ago
- Plain-text declaration export for Lean 4☆42Sep 24, 2026Updated 2 weeks ago
- 魔改版 trino client，支持进度条以及取消任务，欢迎star☆13Aug 4, 2021Updated 5 years ago
- A game for learning Lean 4 where a cute little smart-elf joins you on your exploration of the Leaniverse.☆40Updated this week