☆34Aug 29, 2026Updated this 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:
- Fully typesafe nextjs-ai-starter using 2 agents/tools out of the box https://nextjs.ai☆12Jun 14, 2023Updated 3 years ago
- ☆16Mar 25, 2024Updated 2 years ago
- ☆11Apr 18, 2023Updated 3 years ago
- An example of distributed tracing an MCP enabled agent☆15Feb 14, 2026Updated 6 months ago
- ☆19Aug 25, 2025Updated last year
- 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.
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆20Updated this week
- 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
- The United States Code in readable, editable Markdown.☆16May 20, 2022Updated 4 years ago
- SAT Live! web site☆11Jul 19, 2026Updated last month
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆33Updated this week
- LLVM alternative in Rust☆16May 20, 2024Updated 2 years ago
- ☆21Jul 4, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆45Updated this week
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- ☆22Aug 23, 2026Updated last week
- SBLP 2025 MLIR Tutorial☆77Mar 25, 2026Updated 5 months ago
- Anki Deck to learn Mandarin Chinese pronunciation basics using Pinyin and IPA☆24Jul 17, 2023Updated 3 years ago
- 基于Spring-EL、AOP，更加灵活易用的权限控制框架，支持权限分组，可用于一套系统多种权限隔离校验，使用简单、易于扩展，支持Servlet、Reactive☆10Apr 2, 2021Updated 5 years ago
- Rust bindings for CTranslate2☆14Jun 21, 2023Updated 3 years ago
- WCC C Compiler for x86_64 Linux☆24Aug 9, 2026Updated 3 weeks ago
- What does gpt-oss tell us about OpenAI's training data?☆37Sep 19, 2025Updated 11 months 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.
- Lennard Jones in Lean☆23Jul 14, 2025Updated last year
- Type Checking in Lean 4☆39Mar 22, 2026Updated 5 months ago
- MimIR is my Intermediate Representation☆141Updated this week
- Refinement type checking and inference tool for Rust☆25Updated this week
- TriCera: a model checker for C programs☆27Updated this week
- CertiCrypt Coq Framework☆39Apr 6, 2016Updated 10 years ago
- ☆17Aug 23, 2026Updated last week
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- MLIR+EqSat☆30Jan 10, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- api gateway based on netty☆11Jun 14, 2018Updated 8 years ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆76Feb 20, 2026Updated 6 months ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/gnome-remote-desktop☆46Updated this week
- Unofficial and untested binary distributions of GHC on Alpine Linux. Multi-arch (linux/amd64, linux/arm64/v8) GHC musl docker images. Ple…☆45Updated this week
- ComfyUI nodes to use ViewCrafter☆15Sep 30, 2024Updated last year
- tools for working with directed acyclic graphs (DAGs)☆20Dec 8, 2022Updated 3 years ago
- nyar 是一个用 Rust 编写的任务管理程序，它可以让您在后台运行和管理各种任务，例如定时任务，启动任务，重启任务等。☆14May 19, 2026Updated 3 months ago