VSharp-team / VSharpLinks
Symbolic execution engine for .NET Core
☆53Updated last year
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
- Бот для комьюнити, который умеет банить!☆26Updated last week
- F# Telegram Bot Api library☆107Updated 5 months ago
- The sharpest infrastructure automation tool.☆18Updated last week
- Сайт русскоязычного сообщества F#☆14Updated 5 years ago
- Generative json type provider☆11Updated 6 years ago
- Репозиторий переводов для сайта русскоязычного сообщества F#☆18Updated 7 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆56Updated 2 years ago
- MSBuild SDK for PascalABC.NET☆21Updated 3 weeks ago
- LALR parser combinators for C# and F#.☆103Updated last week
- Friedrich von Never: Engineer, Programmer, Gentleman.☆24Updated this week
- This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…☆209Updated 4 years ago
- Oly Language Compiler and Runtime☆57Updated this week
- A library design for programming with effects and handlers in C#☆155Updated last year
- Testing different approaches of building queries with benchmarks☆22Updated 2 weeks ago
- F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.☆78Updated 10 months ago
- ☆31Updated 2 years ago
- Веб-материалы для fsharplang.ru☆12Updated 4 years ago
- Experiments with higher-kinded types and object algebras in C#☆38Updated 3 weeks ago
- Experimental concepts for C# using Roslyn☆81Updated 4 years ago
- Generating Giraffe server from OpenAPI spec☆40Updated 2 years ago
- Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are …☆41Updated 6 years ago
- Simple DSL to solve SMT problems using Z3 API in F#☆54Updated 6 years ago
- ☆15Updated last year
- Language for Embeddable .NET Scripting☆91Updated 5 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
- Chrome and Firefox extension to force MSDN (and similar Microsoft documentation sites) to always use English locale.☆61Updated this week
- Concurrent collections and synchronization primitives for writing fast multithreaded and asynchronous code☆88Updated 6 months ago
- Desktop App to analyze usage of disk space.☆21Updated 3 years ago
- Type-safe heterogeneous lists for C# and F#.☆10Updated 7 years ago