VSharp-team / VSharp
Symbolic execution engine for .NET Core
☆51Updated 2 months ago
Alternatives and similar repositories for VSharp:
Users that are interested in VSharp are comparing it to the libraries listed below
- Telegram bot for chats administration☆22Updated last year
- Бот для комьюнити, который умеет банить!☆20Updated 3 months ago
- Generative json type provider☆11Updated 5 years ago
- Сайт русскоязычного сообщества F#☆14Updated 4 years ago
- Веб-материалы для fsharplang.ru☆12Updated 3 years ago
- ☆11Updated 11 months ago
- GitHub Actions configuration generator☆46Updated 4 months ago
- Testing different approaches of building queries with benchmarks☆21Updated 3 weeks ago
- LALR parser combinators for C# and F#.☆99Updated last week
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆38Updated 6 years ago
- A library design for programming with effects and handlers in C#☆143Updated 6 months ago
- F# Telegram Bot Api library☆107Updated last month
- Chrome and Firefox extension to force MSDN (and similar Microsoft documentation sites) to always use English locale.☆56Updated last month
- F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.☆75Updated 11 months ago
- Репозиторий переводов для сайта русскоязычного сообщества F#☆19Updated 6 years ago
- This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…☆207Updated 3 years ago
- Generating Giraffe server from OpenAPI spec☆40Updated last year
- MSBuild SDK for PascalABC.NET☆18Updated last month
- React.SeamanticUI to Fable bindings☆15Updated 6 years ago
- Semi-safely generate CIL in F#☆52Updated 3 years ago
- Desktop App to analyze usage of disk space.☆21Updated 2 years ago
- A handy tool to automate changelog processing in CI.☆13Updated 2 weeks ago
- Type-safe heterogeneous lists for C# and F#.☆10Updated 6 years ago
- A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.☆46Updated last year
- limited dependent typing via F# Type Provider☆54Updated 7 years ago
- Simple DSL to solve SMT problems using Z3 API in F#☆53Updated 6 years ago
- The sharpest devops tool.☆12Updated 8 months ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- Zen is a constraint solving library for .NET☆101Updated last year
- λ calculus library made purely in and for F#☆33Updated last year