VSharp-team / VSharp
Symbolic execution engine for .NET Core
☆49Updated last week
Alternatives and similar repositories for VSharp:
Users that are interested in VSharp are comparing it to the libraries listed below
- Бот для комьюнити, который умеет банить!☆19Updated 3 weeks ago
- Telegram bot for chats administration☆22Updated last year
- Веб-материалы для fsharplang.ru☆12Updated 3 years ago
- Сайт русскоязычного сообщества F#☆15Updated 4 years ago
- Репозиторий переводов для сайта русскоязычного сообщества F#☆19Updated 6 years ago
- Generative json type provider☆11Updated 5 years ago
- Friedrich von Never: Engineer, Programmer, Gentleman.☆24Updated this week
- Testing different approaches of building queries with benchmarks☆20Updated this week
- ☆10Updated 8 months ago
- ☆29Updated last year
- Generating Giraffe server from OpenAPI spec☆40Updated 11 months ago
- GitHub Actions configuration generator☆46Updated last month
- MSBuild SDK for PascalABC.NET☆18Updated last week
- This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…☆206Updated 3 years ago
- Desktop App to analyze usage of disk space.☆21Updated 2 years ago
- Oly Language Compiler and Runtime☆54Updated 2 weeks ago
- Git tool in F#☆16Updated 2 years ago
- F# Telegram Bot Api library☆106Updated 3 months ago
- Chrome and Firefox extension to force MSDN (and similar Microsoft documentation sites) to always use English locale.☆52Updated last month
- Language for Embeddable .NET Scripting☆92Updated 4 years ago
- A simple computer algebra system (CAS), written in F# for fun and learning.☆16Updated 4 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆37Updated 6 years ago
- Sample how to perform export of F* to F# with Nuget☆9Updated 4 months ago
- Simple DSL to solve SMT problems using Z3 API in F#☆53Updated 5 years ago
- Experiments with higher-kinded types and object algebras in C#☆35Updated 4 years ago
- Semi-safely generate CIL in F#☆52Updated 3 years ago
- A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.☆45Updated last year
- MSIL computation expression builder for F# implemented against IKVM.Reflection API☆19Updated 10 years ago