VSharp-team / VSharp
Symbolic execution engine for .NET Core
☆50Updated 2 weeks ago
Related projects: ⓘ
- Telegram bot for chats administration☆22Updated last year
- Сайт русскоязычного сообщества F#☆15Updated 3 years ago
- Friedrich von Never: Engineer, Programmer, Gentleman.☆24Updated this week
- Веб-материалы для fsharplang.ru☆12Updated 3 years ago
- ☆10Updated 4 months ago
- Репозиторий переводов для сайта русскоязычного сообщества F#☆19Updated 6 years ago
- Generative json type provider☆11Updated 5 years ago
- Git tool in F#☆16Updated 2 years ago
- GitHub Actions configuration generator☆46Updated 3 months ago
- Бот для комьюнити, который умеет банить!☆12Updated this week
- Generating Giraffe server from OpenAPI spec☆39Updated 7 months ago
- Testing different approaches of building queries with benchmarks☆20Updated this week
- ☆29Updated last year
- Desktop App to analyze usage of disk space.☆21Updated 2 years ago
- F# Telegram Bot Api library☆106Updated 2 months ago
- ☆26Updated this week
- Concurrent collections and synchronization primitives for writing fast multithreaded and asynchronous code☆79Updated 3 months ago
- Library for obtaining and analyzing the codegen of JIT for .NET. Can be used for both tests (assertions) and making reports (benchmarks).☆22Updated last year
- ☆49Updated this week
- MSBuild SDK for PascalABC.NET☆17Updated this week
- ☆11Updated 9 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆37Updated 6 years ago
- Semi-safely generate CIL in F#☆50Updated 3 years ago
- Oly Language Compiler and Runtime☆48Updated this week
- Chrome and Firefox extension to force MSDN (and similar Microsoft documentation sites) to always use English locale.☆51Updated 8 months ago
- extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0☆48Updated 6 years ago
- A replacement for System.Linq (Cistern.Linq - it's part of the plumbing!)☆37Updated 4 years ago
- A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.☆45Updated 9 months ago
- λ calculus library made purely in and for F#☆32Updated last year
- Experimental concepts for C# using Roslyn☆80Updated 3 years ago