fsprojects / ReasoningEngineLinks
Symbolic analysis of discrete dynamical systems
☆23Updated last year
Alternatives and similar repositories for ReasoningEngine
Users that are interested in ReasoningEngine are comparing it to the libraries listed below
Sorting:
- An F# library for writing and reading .NET assemblies and modules☆12Updated 4 years ago
- Python core implemented in F# language and under dotnetcore 3.1 or later.☆25Updated 5 years ago
- Utility that automatically generates F# modules and functions based on your F# project file's references☆14Updated 4 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Updated 3 years ago
- Visual Studio Linter for F#☆33Updated 4 years ago
- Operations Research in F#☆12Updated 3 weeks ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆30Updated 7 years ago
- EPUB authoring library for F#.☆29Updated 3 years ago
- Port of FSharp.Formatting.Markdown for Fable☆15Updated 4 years ago
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.☆14Updated 3 years ago
- http://blog.ctaggart.com/2014/09/generating-f-code-using-its-ast.html☆47Updated 3 years ago
- Simple DSL to solve SMT problems using Z3 API in F#☆54Updated 6 years ago
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆44Updated 6 years ago
- get you an ultimate lexer generator using Fable; port OCaml sedlex to FSharp, Python and more!☆16Updated 3 years ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated last week
- A toolkit for building IDE-style web applications, using Sutil.☆19Updated last week
- Simple tool that allows using FSharp script files .fsx as configurations for applications☆16Updated 10 months ago
- A set of libraries that allow Router-like experiences for general purpose F# Apps☆17Updated 5 months ago
- Higher Order Dependency Injection☆16Updated 6 months ago
- Collection of tools used when developing for Fantomas☆35Updated 9 months ago
- A language for scientific computing that focuses on safety, expressiveness, and interoperability☆57Updated 7 months ago
- Makes Span/ReadOnlySpan easy to use from F#.☆36Updated 6 years ago
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆15Updated 2 years ago
- FSI ♥️ IDE☆20Updated 2 years ago
- F# friendly PowerShell Core helper☆20Updated 10 months ago
- FsAlg: Generic Linear Algebra Library☆24Updated 10 years ago
- Formal verification tool based on predicate calculus and supporting several programming languages☆39Updated 3 months ago
- Repository of small F# 🦊 utilities, mainly for using with FAKE☆32Updated 4 years ago
- Just a Sample Desktop App Using Avalonia.FuncUI☆12Updated 5 years ago
- A dead-simple node version manager written in F#☆20Updated 5 months ago