Lists (2)
Starred repositories
Chrome extension to redirect to a better version of the current wikipedia article based on user's languages
Unofficial Microsoft Teams for Linux client
Mutation testing for .NET core and .NET framework!
Functional reactive web and mobile applications, with batteries included.
Helps you check that exceptions are caught or documented in C#.
⭐️ A friendly language for building type-safe, scalable systems!
ShellCheck, a static analysis tool for shell scripts
A simple tool for visually comparing two PDF files
The Microsoft.VisualStudio.Threading is a xplat library that provides many threading and synchronization primitives used in Visual Studio and other applications.
A Roslyn analyzer to improve the experience when working with nullable reference types.
Roslyn analyzers for IDisposable
A CLI tool for generating Elm modules from Open API specs.
Computing-focused community centered around link aggregation and discussion
Dafny is a verification-aware programming language
⚡ A flexible dev server for Elm. Live reload included.
A command line C# REPL with syntax highlighting – explore the language, libraries and nuget packages interactively.
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Node.js library for easily creating an ePaper display on a Raspberry PI using HTML and Javascript.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Hybrid Elm framework with full-stack and static routes.
LoLa is a small programming language meant to be embedded into games.
Data validation using Python type hints
🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧