Cross Platform Terminal UI toolkit for .NET

LiteDB - A .NET NoSQL Document Store in a single data file

Fast persistent recoverable log and key-value store + cache, in C# and C++.

👼 The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

SymSpell: 1 million times faster spelling correction & fuzzy search through Symmetric Delete spelling correction algorithm

Dafny is a verification-aware programming language

Tools and libraries to glue C/C++ APIs to high-level languages

ShellProgressBar - display progress in your console application

Qml.Net - Qt/QML integration/support for .NET

FancyWM - Dynamic Tiling Window Manager for Windows

C# and F# language binding and extensions to Apache Spark

MessagePack implementation for Common Language Infrastructure / msgpack.org[C#]

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. I…

Stanford NLP for .NET

An embeddable, lightweight, secure, high-performance JavaScript engine.

Golang to C# Converter

An Open Source .Net Constraint Programming Solver

VOICEVOXをSAPI5から見えるようにします。

BABINIKU(バ美肉) meeting support tool for Zoom.us, WebEx, whereby.com or Slack on Mac OS

A Japanese morphological analysis engine for .NET, .NET Core and .NET Frameworks.

Using WASM to write UDFs in Apache Spark

Fork of the repository at https://osdn.net/projects/nmecab/