Automata and transducer library for .NET
☆83Jul 21, 2020Updated 5 years ago
Alternatives and similar repositories for Automata
Users that are interested in Automata are comparing it to the libraries listed below
Sorting:
- High-performance .NET regex engine with predictable performance☆49Sep 7, 2023Updated 2 years ago
- A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.☆19Aug 2, 2022Updated 3 years ago
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Sep 7, 2022Updated 3 years ago
- LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea☆14Nov 23, 2021Updated 4 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- ScalableJoins☆16Sep 22, 2015Updated 10 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆56Aug 30, 2023Updated 2 years ago
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆45Nov 16, 2016Updated 9 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17May 29, 2024Updated last year
- solver for the reachability modulo theories problem☆63Sep 11, 2023Updated 2 years ago
- Small, simple C# animation library built using the reactive extensions framework, utilizing Robert Penner's easing functions. Does not ma…☆14Aug 3, 2015Updated 10 years ago
- A library for slicing and dicing arrays (without copying).☆14Oct 2, 2020Updated 5 years ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated 3 weeks ago
- Minimalist Prolog compiler and runtime library☆21Oct 29, 2013Updated 12 years ago
- An automated theorem prover that uses Büchi automata.☆44Sep 22, 2021Updated 4 years ago
- RP Examples☆21Aug 21, 2017Updated 8 years ago
- A small C# quiz application about performance and heap allocations☆26May 25, 2023Updated 2 years ago
- C# Specification for https://github.com/vega/vega-lite☆10Aug 12, 2021Updated 4 years ago
- repository for scratch code☆14Jun 21, 2016Updated 9 years ago
- ☆13Dec 9, 2025Updated 2 months ago
- Code and slides from talk Refactoring to Patterns with ReSharper, JetBrains .NET Days Online, May 2020☆10May 13, 2020Updated 5 years ago
- An extensible visual programming system.☆10May 8, 2016Updated 9 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- The Ynot Project source code.☆22May 5, 2014Updated 11 years ago
- A transformational system for ASTs, including generation of a p/invoke API from C++ headers.☆31Jul 25, 2022Updated 3 years ago
- Benchmarks showing the difference between the naive intrinsics usage and the optimized code that takes advantage of alignment and pipelin…☆12Jul 24, 2018Updated 7 years ago
- Demo showing how to use Azure SignalR Service with Azure Functions and client JavaScript☆13Mar 14, 2019Updated 6 years ago
- A cross-platform .NET Standard library to get the cache line size (in bytes) of the processor.☆17Jul 10, 2018Updated 7 years ago
- ☆15Jan 3, 2026Updated last month
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Feb 9, 2022Updated 4 years ago
- Unified algorithm support for indexed .NET collections.☆12Jun 11, 2018Updated 7 years ago
- A benchmark comparing WPF and other text rendering methods for speed☆30Jan 27, 2013Updated 13 years ago
- ☆32Sep 29, 2025Updated 5 months ago
- A modern quantitative finance framework that makes the complex simple☆28Updated this week
- The one file simple bug tracking application that incorporates a kanban board.☆12Jan 31, 2014Updated 12 years ago
- Irony - .NET Language Implementation Kit. Forked/Mirrored from CodePlex to Add Gtk# Explorer☆11Jan 21, 2016Updated 10 years ago
- This is a clone of an SVN repository at https://cudafy.svn.codeplex.com/svn. It had been cloned by http://svn2github.com/ , but the servi…☆12Jun 15, 2015Updated 10 years ago
- Shows the evolution of a project using domain-driven design and domain modeling with types using F#.☆12Jul 29, 2019Updated 6 years ago
- develop an acceptable solution for a file containing many quadratic equation records.☆11Apr 22, 2025Updated 10 months ago