Deterministic Finite Automata to define computation with labeled states and explicit transitions
☆13Oct 8, 2019Updated 6 years ago
Alternatives and similar repositories for dfa
Users that are interested in dfa are comparing it to the libraries listed below
Sorting:
- Murmur3 hash in Go☆13Dec 15, 2017Updated 8 years ago
- Experiments to benchmark implementations of a concurrent counter.☆13Jun 10, 2015Updated 10 years ago
- Lytics Command Line Utility☆16Apr 8, 2021Updated 4 years ago
- Graph layout and display library.☆20Dec 30, 2018Updated 7 years ago
- Go implemetation of cuckoo filters☆27Oct 15, 2021Updated 4 years ago
- Hollow Heaps for Go☆20Jan 23, 2018Updated 8 years ago
- OSM data into a kind/kind_detail normalization using tilezen configs☆23May 16, 2022Updated 3 years ago
- ☆17Feb 5, 2026Updated 3 weeks ago
- A server for The Things Network to store and display your devices on a map☆21Feb 25, 2023Updated 3 years ago
- The package underlying gen: type-driven code generation for Go☆54Oct 13, 2020Updated 5 years ago
- A high performance lock free map type for go.☆20Apr 19, 2018Updated 7 years ago
- Holt-Winters forecasting☆20Sep 16, 2016Updated 9 years ago
- DEPRECATED: Merkle-ized data store☆46May 24, 2019Updated 6 years ago
- adaptive replacement cache☆33Aug 1, 2014Updated 11 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Oct 9, 2025Updated 4 months ago
- A library for distributed processing for Go☆59Jul 2, 2025Updated 7 months ago
- ☆26Dec 28, 2015Updated 10 years ago
- Official format for time series data captured from 3D Engines.☆12May 14, 2023Updated 2 years ago
- Lua trace JIT compiler using LLVM-C☆29Mar 10, 2020Updated 5 years ago
- A Lua port of the cassowary constraint solver engine☆36Jun 16, 2022Updated 3 years ago
- Couchbase Indexes☆42Updated this week
- Cloud & local storage unified api (s3, google, azure, sftp, local)☆86Jul 8, 2025Updated 7 months ago
- Tools for storing, search and analyze GC/MS spectra☆11Dec 19, 2024Updated last year
- A SCADA system that uses prime for intrusion tolerance. Using PVBrowser as an HMI☆10May 27, 2015Updated 10 years ago
- Time Adaptive Sketches (Ada-Sketches) for Summarizing Data Streams☆37Jun 3, 2017Updated 8 years ago
- S-Bitmap: Distinct Counting with a Self-Learning Bitmap☆37Nov 1, 2015Updated 10 years ago
- Online Change Detection Algorithm☆54Apr 28, 2020Updated 5 years ago
- Tools for reading OpenStreetMap (OSM) data and gradually turning it into routable networks.☆13Jul 2, 2015Updated 10 years ago
- Go SDK for OpenFaaS☆11Feb 27, 2020Updated 6 years ago
- A general probabilistic graphical models framework for Rust☆10May 16, 2018Updated 7 years ago
- Fast, efficient, private cloud store☆10Apr 6, 2017Updated 8 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- The reference implementation of the ℒ (ell) language☆10May 18, 2025Updated 9 months ago
- A Go library for specialized integer hash maps.☆11Sep 15, 2016Updated 9 years ago
- Implementation of the Idemix attribute based credential scheme used in IRMA☆11Dec 11, 2024Updated last year
- ATLAS Control is a framework for building a complete monitoring, trending, reporting, and real-time tracking SCADA-type system primarily …☆10Feb 19, 2014Updated 12 years ago
- An index of formal complaint systems☆17Aug 23, 2018Updated 7 years ago
- Decentralized kv storage engine,support decentralized P2P networking, data synchronization and consistency between nodes.☆14Jan 4, 2026Updated last month
- bíogo data store repository☆38Nov 20, 2020Updated 5 years ago