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
- VS Code plugin for ChoiceScript development☆12Oct 21, 2026Updated 2 weeks ago
- ☆12Feb 22, 2023Updated 3 years ago
- Coursework from Rob Percival's Android dev course☆10Jul 28, 2018Updated 8 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.
- Slap a Santa hat on your Discord avatar today!☆12Jan 2, 2026Updated 10 months ago
- OpenSSL adaptor for Oat++ applications☆19May 19, 2024Updated 2 years ago
- Red Hat Commons provides services common to VS code extensions published by Red Hat.☆17Jan 24, 2023Updated 3 years ago
- A genetic algorithm to play a pong game.☆22Apr 21, 2019Updated 7 years ago
- The most vile IRC bot known to humankind☆16Sep 1, 2022Updated 4 years ago
- ☆22Jun 16, 2025Updated last year
- Eclipse SWT (custom-drawn widgets based on Skija)☆21Dec 23, 2025Updated 10 months ago
- The first Project in Brad Traversy's React Front To back 2019 course branched for students☆14Oct 17, 2023Updated 3 years ago
- 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Public course materials for COMPSCI 3MI3, Fall 2023 version☆13Dec 12, 2023Updated 2 years ago
- Technology lsp4mp☆24Updated this week
- Mobile app where you can track habits together with friends☆21Apr 9, 2025Updated last year
- 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
- 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 3 years ago
- ☆36Mar 9, 2026Updated 7 months 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
- 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.
- An open-source testing framework for GameMaker libraries, extensions and (hopefully) prefabs, with a focus on simplicity and ease of use.☆44Sep 27, 2026Updated last month
- Full sound spectrum visualization on a 3D sphere with three.js☆30Dec 22, 2018Updated 7 years ago
- 一财周刊第三方客户端☆23May 14, 2021Updated 5 years ago
- Cryptographic Constructions in the Type Theory of Agda☆51Aug 8, 2015Updated 11 years ago
- System F-omega normalization by hereditary substitution in Agda☆63Aug 31, 2019Updated 7 years ago
- Portable qsort_r / qsort_s☆59Aug 31, 2023Updated 3 years ago
- 传感器滤镜☆25Mar 12, 2022Updated 4 years ago
- This script can convert messages.json in your Instagram dump to readable separate text files for each user you've chatted with.☆48May 29, 2020Updated 6 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 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.
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 6 years ago
- ☆61Oct 26, 2026Updated last week
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Scala client library for MPD, HTTP interface to MPD via REST/Websockets, finally a Webclient for MPD☆10Jul 13, 2022Updated 4 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 4 years ago
- ☆10Dec 5, 2022Updated 3 years ago
- Haskell exercises corresponding to the youtube tutorials series Learning Haskell☆27Oct 6, 2022Updated 4 years ago