formal language and automata
☆38Oct 30, 2026Updated this week
Alternatives and similar repositories for fla
Users that are interested in fla are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simplified Chinese translation of FMP☆18Jan 7, 2022Updated 4 years ago
- 南京大学计算机系 往年卷 Past exam papers of NJUCS☆529Updated this week
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 4 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- A small Kotlin multiplatform library to provide a "chat-like" console on various platforms.☆12Jun 29, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 我的个人网站~☆11Updated this week
- EEG-MI signal classification DL model.☆14Apr 26, 2024Updated 2 years ago
- The canmi.net & canmi.app monorepo.☆15Oct 24, 2026Updated last week
- 19-20Spring Computer_network experiment UCAS☆13Oct 10, 2020Updated 6 years ago
- NLSExplorer provides powerful tool that combine with large protein language model in predicting and exploring Nuclear Localization Signal…☆10May 7, 2025Updated last year
- xspcomm encapsulates the DPI-based digital circuit and provides various high-level language operation interfaces.☆10Oct 24, 2026Updated last week
- ☆11Sep 15, 2024Updated 2 years ago
- 🖼️ Discord画像圧縮くん - 10MB以下に自動圧縮（完全ローカル処理）☆18Oct 7, 2026Updated 3 weeks ago
- the official implementation of NeuronRep☆11Apr 16, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Kotlin library implementing algebraic effect handlers.☆11Oct 23, 2023Updated 3 years ago
- User defined intrinsics, tailrec optimization☆12Nov 26, 2022Updated 3 years ago
- 南京大学计算机-2024春季的数字逻辑与计算机组成实验☆17Feb 18, 2025Updated last year
- eBPF version of https://github.com/brendangregg/wss☆11Jan 26, 2023Updated 3 years ago
- NJU 南京大学 算法设计与分析 期末复习☆17Jul 13, 2022Updated 4 years ago
- ☆15May 20, 2024Updated 2 years ago
- Typst package for creating elegant headers and footers☆10Mar 1, 2025Updated last year
- ☆12Feb 23, 2025Updated last year
- Caches copies of online images locally and loads them first if available☆10Jul 31, 2026Updated 3 months 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.
- MiaoScript implement☆11Oct 30, 2023Updated 3 years ago
- A framework for building hardware verification platform using software method☆41Updated this week
- A style guide for Haskell code.☆15May 26, 2025Updated last year
- Obsidian plugin to cache attachments locally☆10Oct 21, 2026Updated 2 weeks ago
- A set of drivers of the trash displays I buy on Taobao | 淘宝上捡垃圾回来的显示屏的驱动☆11Mar 2, 2024Updated 2 years ago
- A CLI tool for clash☆11Jun 15, 2024Updated 2 years ago
- Parser Combinator of java☆13Oct 13, 2024Updated 2 years ago
- Let your Minecraft financial system be deployed on blockchain.☆10Oct 12, 2025Updated last year
- 锅巴汉化组首页☆14Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 4 years ago
- A toy IO library for Arend☆19Feb 12, 2021Updated 5 years ago
- A lightweight CuTe-based CUDA kernel for DuoAttention, optimized for large language model inference.☆12Dec 25, 2025Updated 10 months ago
- Rust bindings for PANDA and libpanda☆25Dec 13, 2024Updated last year
- rewrite of @marmot-z/baicizhan-helper☆15Aug 14, 2025Updated last year
- [ICML 2025] Fast and Low-Cost Genomic Foundation Models via Outlier Removal.☆19Jun 19, 2025Updated last year
- Lower chisel memories to SRAM macros☆13Mar 25, 2024Updated 2 years ago