Stars
Pixie is a C# library for beautiful and portable console output formatting/typesetting.
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
Mill is a fast JVM build tool that supports Java, Scala, Kotlin and many other languages. 3-6x faster than Maven or Gradle for common workflows, Mill aims to make your project’s build process perfo…
Dafny is a verification-aware programming language
Libraries and tools for the SMT-LIB-2 standard.
Turn a $30 USB switch into a full-featured multi-monitor KVM switch
Symbolic-execution-based verifier for the Viper intermediate verification language.
DNT (DotNetTools): Command line tools to manage .NET projects and solutions.
Dafny Language Server implementation in C#
A simple language server for JavaScript, powered by ESLint and Tern.
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
Explorations in area of programming languages: concepts, typing, formal verification
Rich editor tooling for CloudFormation Templates for various editors such as Visual Studio Code
Serverless IDE: Enhanced support for AWS SAM and CloudFormation in VS Code
A nice parser combinator library for Kotlin
Detects node eventloop block and reports where it started
Parsing, analyzing, and comparing source code across many languages
Constructor of incremental parsers in Scala