A DSL for the Automata Theory Classroom
☆29Oct 8, 2026Updated last week
Alternatives and similar repositories for fsm
Users that are interested in fsm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Aug 2, 2016Updated 10 years ago
- Scheme syntax highlighting for the LaTeX listings package.☆22Sep 24, 2020Updated 6 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Racket parser for tree-sitter☆37Aug 22, 2026Updated last month
- A Turing complete language 😉☆42Oct 3, 2020Updated 6 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.
- Verifying the optimization phases of the GraalVM compiler☆15Sep 28, 2026Updated 2 weeks ago
- ☆16Mar 14, 2024Updated 2 years ago
- benchmark languages that potentially suitable to scientific computing with the adaptive trapezoid numeric integration algorithm☆21Sep 20, 2020Updated 6 years ago
- Per function, Lua JIT using LLVM C++ toolchain☆10Jun 8, 2017Updated 9 years ago
- A unifying framework for linear temporal logics in Lean☆20Nov 7, 2025Updated 11 months ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 5 years ago
- Chez Scheme☆15Oct 8, 2026Updated last week
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- Reader to enable embedding images in source files as text☆24Dec 22, 2024Updated 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.
- Write JXA using typescript 🚀!☆13Jan 10, 2020Updated 6 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆17Apr 21, 2024Updated 2 years ago
- A practical http client library for sending data to http servers.☆11Jul 10, 2024Updated 2 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- A clojure CLI build tool, and build library.☆14May 14, 2023Updated 3 years ago
- jpdfbookmarks - fix JPdfBookmarks GUI mode open a pdf have bookmarks include CJK (Chinese , Japanese , Korean ) characters will show like…☆11Sep 4, 2023Updated 3 years ago
- Utilities for macro writers☆132Dec 30, 2025Updated 9 months ago
- A tree-sitter grammar parser for Janet☆17Sep 19, 2025Updated last year
- Support for calling Python from Haskell☆18Mar 7, 2012Updated 14 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆20Apr 17, 2019Updated 7 years ago
- Janet bindings for GitHub's fork of cmark☆18Nov 23, 2025Updated 10 months ago
- Distributable shell scripts with dependencies☆11Dec 24, 2016Updated 9 years ago
- A series of neural network implementations in Clojure, building up from a version with no external dependencies to a version using neande…☆12Jun 2, 2023Updated 3 years ago
- Janet routines for utf8 handling☆20Jan 19, 2022Updated 4 years ago
- JSON to HTML☆12Jul 10, 2026Updated 3 months ago
- Versions of the "Computer Language Benchmarks Game" benchmarks for the Janet language.☆16Apr 4, 2022Updated 4 years ago
- Parse objdump files using tree-sitter☆14Nov 22, 2023Updated 2 years ago
- Code release for "Clue Me In: Semi-Supervised FGVC with Out-of-Distribution Data".☆13Apr 11, 2022Updated 4 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.
- Contrastive learning of protein representations with graph neural networks for structural and functional annotations☆11Apr 23, 2023Updated 3 years ago
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 4 years ago
- ☆23Mar 24, 2026Updated 6 months ago
- Proof of concept nREPL server☆15Mar 26, 2020Updated 6 years ago
- ☆12Dec 2, 2024Updated last year
- Java Class file parser and analyzer written in Clojure☆15Dec 2, 2019Updated 6 years ago
- Subgraphormer: Unifying Subgraph GNNs and Graph Transformers via Graph Products (ICML 2024)☆11Jul 13, 2024Updated 2 years ago