VSharp-team / VSharp

Related projects ⓘ

Alternatives and complementary repositories for VSharp

• fsharplang-ru / vahter-bot
  Бот для комьюнити, который умеет банить!
  ☆17Updated last month
• Liminiens / grinder
  Telegram bot for chats administration
  ☆22Updated last year
• ForNeVeR / fornever.me
  Friedrich von Never: Engineer, Programmer, Gentleman.
  ☆24Updated this week
• fsharplang-ru / fsharplang-ru.github.io
  Веб-материалы для fsharplang.ru
  ☆12Updated 3 years ago
• fsharplang-ru / translations
  Репозиторий переводов для сайта русскоязычного сообщества F#
  ☆19Updated 6 years ago
• fsharplang-ru / fsharplang.ru
  Сайт русскоязычного сообщества F#
  ☆15Updated 4 years ago
• Liminiens / json-provider
  Generative json type provider
  ☆11Updated 5 years ago
• Kirill-Maurin / Sample.Struct
  ☆29Updated last year
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆35Updated 4 years ago
• Dolfik1 / Funogram
  F# Telegram Bot Api library
  ☆105Updated last month
• impworks / lens
  Language for Embeddable .NET Scripting
  ☆91Updated 4 years ago
• pocketberserker / Data.HList
  Type-safe heterogeneous lists for C# and F#.
  ☆10Updated 6 years ago
• microsoft / DecisionDiagrams
  A performant and ergonomic implementation of binary decision diagrams for .NET
  ☆54Updated last year
• MattWindsor91 / roslyn
  Experimental concepts for C# using Roslyn
  ☆80Updated 3 years ago
• cboudereau / category-theory-for-dotnet-programmers
  This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…
  ☆205Updated 3 years ago
• ForNeVeR / Fenrir
  Git tool in F#
  ☆16Updated 2 years ago
• YaccConstructor / YaccConstructor
  Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are …
  ☆40Updated 5 years ago
• a-gubskiy / X.Spectator
  Framework for monitoring the state of the system and system modules.
  ☆27Updated this week
• ImoutoChan / GreenCaptchaBot
  Telegram Bot that protects your chat from spammers!
  ☆42Updated 11 months ago
• antomys / CuriousBenchmarks
  Testing different approaches of building queries with benchmarks
  ☆20Updated last week
• nesteruk / CallSharp
  I/O Call Instrumentation for .NET
  ☆41Updated 2 years ago
• Szer / GiraffeGenerator
  Generating Giraffe server from OpenAPI spec
  ☆40Updated 9 months ago
• vorotynsky / Kroha
  A small language makes assembly less painful.
  ☆32Updated 2 years ago
• ForNeVeR / praefectus
  Programmable organizer application suite.
  ☆15Updated last year
• nicknash / RelaSharp
  Model-checker for lock and wait free C# code
  ☆77Updated 6 years ago
• ForNeVeR / PascalABC.NET.SDK
  MSBuild SDK for PascalABC.NET
  ☆18Updated this week
• tmteam / NFun
  Expressions Evaluator for .NET
  ☆60Updated 4 months ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆93Updated this week