☆31Aug 8, 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:
- Review Pi agent work, run visible tmux workers, and save evidence outside model context☆17Updated this week
- 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
- Cangjie Programming Language Tutorial. 《跟老卫学仓颉编程语言开发》☆66Feb 23, 2026Updated 5 months ago
- Creating Generative AI Apps which work☆17Apr 14, 2025Updated last year
- 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.
- Daily Positive Thoughts Emails☆10Jan 5, 2025Updated last year
- ☆19Aug 25, 2025Updated 11 months ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆20Aug 4, 2026Updated last week
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Command line tool for model checking using LTL, CTL and CTL* formulas☆16Nov 15, 2024Updated last year
- ☆23May 9, 2026Updated 3 months ago
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆33Jul 26, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆21Jul 4, 2022Updated 4 years ago
- ☆43Updated this week
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- ☆22Mar 11, 2026Updated 4 months ago
- Repositorio de la optativa para la FCEIA☆14Apr 8, 2025Updated last year
- SBLP 2025 MLIR Tutorial☆76Mar 25, 2026Updated 4 months ago
- 基于Spring-EL、AOP，更加灵活易 用的权限控制框架，支持权限分组，可用于一套系统多种权限隔离校验，使用简单、易于扩展，支持Servlet、Reactive☆10Apr 2, 2021Updated 5 years ago
- A set of tools to extract library signature of binary programs at runtime.☆28Jan 21, 2026Updated 6 months ago
- Rust bindings for CTranslate2☆14Jun 21, 2023Updated 3 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.
- What does gpt-oss tell us about OpenAI's training data?☆37Sep 19, 2025Updated 10 months ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Updated this week
- Source code for the frontend of chesshq.com☆11Apr 29, 2022Updated 4 years ago
- Type Checking in Lean 4☆38Mar 22, 2026Updated 4 months ago
- A modern library for building production-grade compilers☆17Feb 18, 2025Updated last year
- An MLIR-based compiler targeting Kokkos and other programming models☆18Jul 30, 2026Updated last week
- MimIR is my Intermediate Representation☆141Updated this week
- Refinement type checking and inference tool for Rust☆24Updated this week
- ☆41Mar 31, 2026Updated 4 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.
- This repo contains the code for demonstrating how to using LlamaEdge RAG to build a RAG app☆13May 15, 2024Updated 2 years ago
- OpenAI's Realtime API minus the enterprise bloat☆50Nov 21, 2024Updated last year
- ☆11Feb 26, 2024Updated 2 years ago
- CertiCrypt Coq Framework☆39Apr 6, 2016Updated 10 years ago
- ☆17Aug 6, 2025Updated last year
- A Bison-inspired parser generator and compiler frontend framework for Rust, with IELR(1), LALR(1), GLR, and LSP support.☆28Aug 4, 2026Updated last week
- A guide for PhD students by a not so good PhD student☆17Dec 31, 2023Updated 2 years ago