VSharp-team / VSharpLinks
Symbolic execution engine for .NET Core
☆53Updated 9 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 2 years ago
- Бот для комьюнити, который умеет банить!☆25Updated 4 months ago
- The sharpest infrastructure automation tool.☆16Updated this week
- Generative json type provider☆11Updated 6 years ago
- Сайт русскоязычного сообщества F#☆14Updated 4 years ago
- F# Telegram Bot Api library☆107Updated 2 months ago
- LALR parser combinators for C# and F#.☆101Updated this week
- Oly Language Compiler and Runtime☆56Updated 2 weeks ago
- Simple DSL to solve SMT problems using Z3 API in F#☆54Updated 6 years ago
- Веб-материалы для fsharplang.ru☆12Updated 4 years ago
- Generating Giraffe server from OpenAPI spec☆40Updated last year
- Desktop App to analyze usage of disk space.☆21Updated 3 years ago
- GitHub Actions configuration generator☆48Updated this week
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆39Updated 7 years ago
- React.SeamanticUI to Fable bindings☆15Updated 7 years ago
- A library design for programming with effects and handlers in C#☆152Updated last year
- F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.☆77Updated 7 months ago
- Semi-safely generate CIL in F#☆54Updated 4 years ago
- Репозиторий переводов для сайта русскоязычного сообщества F#☆18Updated 7 years ago
- MSBuild SDK for PascalABC.NET☆18Updated this week
- This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…☆208Updated 4 years ago
- λ calculus library made purely in and for F#☆34Updated 2 years ago
- A simple computer algebra system (CAS), written in F# for fun and learning.☆16Updated 5 years ago
- Experimental concepts for C# using Roslyn☆80Updated 4 years ago
- Friedrich von Never: Engineer, Programmer, Gentleman.☆24Updated this week
- extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0☆55Updated 7 years ago
- .NET library to work with Git repositories☆34Updated this week
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆43Updated 6 years ago
- Fluent members for F# FSharp.Core functions☆70Updated 5 months ago
- Type equality for F#☆50Updated last week