An Elm app for building and simulating deterministic and non-deterministic finite automata (DFAs and NFAs).
☆11Feb 25, 2025Updated last year
Alternatives and similar repositories for finsm
Users that are interested in finsm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of resources for MCP☆13Jan 17, 2020Updated 6 years ago
- Graphics library authored by Chris Schankula and Dr. Christopher Anand☆51Jul 8, 2025Updated last year
- Coursework from Rob Percival's Android dev course☆10Jul 28, 2018Updated 8 years ago
- Slap a Santa hat on your Discord avatar today!☆12Jan 2, 2026Updated 8 months ago
- Red Hat Commons provides services common to VS code extensions published by Red Hat.☆17Jan 24, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Eclipse SWT (custom-drawn widgets based on Skija)☆21Dec 23, 2025Updated 9 months ago
- ☆22Jun 16, 2025Updated last year
- A genetic algorithm to play a pong game.☆22Apr 21, 2019Updated 7 years ago
- The first Project in Brad Traversy's React Front To back 2019 course branched for students☆14Oct 17, 2023Updated 2 years ago
- The most vile IRC bot known to humankind☆16Sep 1, 2022Updated 4 years ago
- Public course materials for COMPSCI 3MI3, Fall 2023 version☆13Dec 12, 2023Updated 2 years ago
- It's a simple and direct organization chart plugin. Anytime you want a tree-like chart, you can turn to OrgChart for vue3.☆19Nov 10, 2023Updated 2 years ago
- Technology lsp4mp☆24Aug 24, 2026Updated last month
- An offline Html5 web/mobile application for learning German articles with flash cards. Available in Chrome web store (10000+ users), Andr…☆16Mar 24, 2012Updated 14 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.
- Mobile app where you can track habits together with friends☆21Apr 9, 2025Updated last year
- Basics of the dependently-typed functional language Agda ^_^☆43Jan 6, 2022Updated 4 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Nov 11, 2024Updated last year
- Python wrapper for boxcars, a Rust Rocket League replay parser☆23Oct 31, 2023Updated 2 years ago
- This repository implements the calculation for 2 types of queues in the Queue Theory, namely, the M/M/c Queue and the M/M/c/c Queue.☆27Feb 4, 2017Updated 9 years ago
- 一财周刊第三方客户端☆23May 14, 2021Updated 5 years ago
- MCP server that lets AI agents drive Inkscape — interactively alongside the GUI or headlessly from the CLI☆70Sep 14, 2026Updated last week
- Full sound spectrum visualization on a 3D sphere with three.js☆30Dec 22, 2018Updated 7 years ago
- System F-omega normalization by hereditary substitution in Agda☆63Aug 31, 2019Updated 7 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.
- Portable qsort_r / qsort_s☆59Aug 31, 2023Updated 3 years ago
- Cryptographic Constructions in the Type Theory of Agda☆51Aug 8, 2015Updated 11 years ago
- Clipboard synchronization tool☆14Jul 2, 2026Updated 2 months ago
- 传感器滤镜☆25Mar 12, 2022Updated 4 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 5 years ago
- This script can convert messages.json in your Instagram dump to readable separate text files for each user you've chatted with.☆47May 29, 2020Updated 6 years ago
- lemminx-maven☆51Aug 27, 2026Updated last month
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 6 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆12Dec 7, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 4 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ☆10Dec 5, 2022Updated 3 years ago
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆12Feb 7, 2021Updated 5 years ago
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago