Lists (5)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Coq
- D
- Dafny
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- FreeBASIC
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- Makefile
- Markdown
- NSIS
- Nix
- OCaml
- PHP
- Perl
- PostScript
- PowerShell
- Prolog
- Python
- QML
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- TLA
- TeX
- TypeScript
- Vim Script
๐ A collection of awesome .NET core libraries, tools, frameworks and software
A Terminal Emulator based on UWP and web technologies.
Simple .NET logging with fully-structured events
๐ Clean Code concepts and tools adapted for .NET
Dafny is a verification-aware programming language
This repo contains CoreRT, an experimental .NET Core runtime optimized for AOT (ahead of time compilation) scenarios, with the accompanying compiler toolchain.
A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.
Tool for generating dependency trees for .NET projects
A framework for rapid development of reliable asynchronous software.
This PowerShell script will run some connectivity checks from this machine to the server and database.





