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☆12Jan 17, 2020Updated 6 years ago
- Graphics library authored by Chris Schankula and Dr. Christopher Anand☆49Jul 8, 2025Updated 8 months ago
- Coursework from Rob Percival's Android dev course☆10Jul 28, 2018Updated 7 years ago
- Slap a Santa hat on your Discord avatar today!☆12Jan 2, 2026Updated 2 months ago
- Red Hat Commons provides services common to VS code extensions published by Red Hat.☆15Jan 24, 2023Updated 3 years ago
- ☆21Jun 16, 2025Updated 9 months ago
- Mobile app where you can track habits together with friends☆20Apr 9, 2025Updated 11 months ago
- Eclipse SWT (custom-drawn widgets based on Skija)☆21Dec 23, 2025Updated 3 months ago
- A genetic algorithm to play a pong game.☆22Apr 21, 2019Updated 6 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 3 years ago
- Cryptographic Constructions in the Type Theory of Agda☆52Aug 8, 2015Updated 10 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☆24Jan 27, 2026Updated last month
- 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
- 一财周刊第三方客户端☆23May 14, 2021Updated 4 years ago
- 适用于GTA4 1.2.0.43及以上版本的汉化程序☆30Jul 27, 2025Updated 7 months ago
- 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.☆26Feb 4, 2017Updated 9 years ago
- Public course materials for COMPSCI 3MI3, Fall 2023 version☆13Dec 12, 2023Updated 2 years ago
- Portable qsort_r / qsort_s☆57Aug 31, 2023Updated 2 years ago
- Full sound spectrum visualization on a 3D sphere with three.js☆29Dec 22, 2018Updated 7 years ago
- 传感器滤镜☆27Mar 12, 2022Updated 4 years ago
- Clipboard synchronization tool☆13Updated this week
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 4 years ago
- lemminx-maven☆45Mar 13, 2026Updated last week
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 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
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 5 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Salvia - Modular Haskell HTTP server.☆24Sep 4, 2010Updated 15 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago