VSharp-team / VSharpLinks
Symbolic execution engine for .NET Core
☆51Updated 5 months ago
Alternatives and similar repositories for VSharp
Users that are interested in VSharp are comparing it to the libraries listed below
Sorting:
- Telegram bot for chats administration☆22Updated last year
- Сайт русскоязычного сообщества F#☆14Updated 4 years ago
- Бот для комьюнити, который умеет банить!☆20Updated last month
- Веб-материалы для fsharplang.ru☆12Updated 4 years ago
- Generative json type provider☆11Updated 6 years ago
- Репозиторий переводов для сайта русскоязычного сообщества F#☆19Updated 6 years ago
- GitHub Actions configuration generator☆45Updated this week
- Generating Giraffe server from OpenAPI spec☆40Updated last year
- F# Telegram Bot Api library☆107Updated last month
- Friedrich von Never: Engineer, Programmer, Gentleman.☆24Updated 2 weeks ago
- Simple DSL to solve SMT problems using Z3 API in F#☆53Updated 6 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆39Updated 6 years ago
- MSBuild SDK for PascalABC.NET☆18Updated 2 weeks ago
- ☆11Updated last year
- A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.☆46Updated last year
- The sharpest devops tool.☆12Updated 10 months ago
- Desktop App to analyze usage of disk space.☆21Updated 3 years ago
- Type equality for F#☆48Updated last year
- Programmable organizer application suite.☆16Updated 2 weeks ago
- ☆31Updated last year
- Oly Language Compiler and Runtime☆55Updated this week
- Quotation Compilation library that uses FSharp.Compiler.Service☆76Updated 4 years ago
- Website for Saturn + Azure + Fable + Elmish aka SAFE-Stack☆17Updated last year
- F# Event-Union Contract Encoding with versioning tolerant converters supporting System.Text.Json and Newtonsoft.Json☆82Updated 3 months ago
- Semi-safely generate CIL in F#☆53Updated 4 years ago
- Highload cup F# solution☆12Updated 6 years ago
- F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.☆75Updated 2 months 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
- Simple platformer demo using Garnet☆15Updated 3 years ago
- A library design for programming with effects and handlers in C#☆146Updated 8 months ago