☆34Sep 18, 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:
- Creating Generative AI Apps which work☆17Apr 14, 2025Updated last year
- A simple voxel ray tracer, showing a technique of DDA + distance fields.☆15Jun 27, 2023Updated 3 years ago
- ☆19Aug 25, 2025Updated last year
- 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
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 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.
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- The Python SDK for the Frame from @brilliantlabsAR☆17Apr 1, 2025Updated last year
- Git repository for the course Logika v računalništvu☆16Apr 5, 2022Updated 4 years ago
- ☆23May 9, 2026Updated 4 months ago
- SAT Live! web site☆11Jul 19, 2026Updated 2 months ago
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆34Updated this week
- Rust Algebraic Effects System - modeled after https://github.com/vic/fx.go☆18Apr 27, 2026Updated 4 months ago
- (migrated to https://codeberg.org/shiz/restruct) Declarative binary file format parser and emitter library☆10Jun 21, 2021Updated 5 years 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.
- LLVM alternative in Rust☆16May 20, 2024Updated 2 years ago
- ☆21Jul 4, 2022Updated 4 years ago
- RudeChat is a Python IRC client designed to be fast, portable, and fun.☆19Feb 24, 2026Updated 6 months ago
- WoW addon frontend for ModelScene API☆15Jul 12, 2026Updated 2 months ago
- ☆45Sep 4, 2026Updated 2 weeks ago
- Spans for the whole memory range.☆18Mar 3, 2023Updated 3 years ago
- HAVIT Magic Eagle mouse configuration utility☆13Nov 1, 2018Updated 7 years ago
- ☆22Aug 23, 2026Updated 3 weeks ago
- A dogstatsD inspired metrics and event aggregation daemon for InfluxDB.☆14Sep 3, 2016Updated 10 years 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.
- Animation editor with models created by MagicaVoxel☆13Nov 27, 2016Updated 9 years ago
- Check the wiki for more info☆11Aug 11, 2020Updated 6 years ago
- SBLP 2025 MLIR Tutorial☆77Mar 25, 2026Updated 5 months ago
- 基于Spring-EL、AOP，更加灵活易用的权限控制框架，支持权限分组，可用于一套系统多种权限隔离校验，使用简单、易于扩展，支持Servlet、Reactive☆10Apr 2, 2021Updated 5 years ago
- M3 files Import Tools☆15Jun 19, 2019Updated 7 years ago
- Decompilation of ACNH's image upscaling function (WIP)☆17May 7, 2020Updated 6 years ago
- Binary Templates for Mabinogi file formats.☆15May 23, 2022Updated 4 years ago
- A set of tools to extract library signature of binary programs at runtime.☆28Jan 21, 2026Updated 7 months ago
- The OpenRC init system☆13Feb 21, 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.
- Rust bindings for CTranslate2☆14Jun 21, 2023Updated 3 years ago
- WCC C Compiler for x86_64 Linux☆25Updated this week
- What does gpt-oss tell us about OpenAI's training data?☆37Sep 19, 2025Updated last year
- ☆26Aug 30, 2024Updated 2 years ago
- Hitman 2 Rpkg Patch Builder☆12Mar 16, 2019Updated 7 years ago
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- Source code for the frontend of chesshq.com☆11Apr 29, 2022Updated 4 years ago