TLC is an explicit state model checker for specifications in TLA+
A Bot-style event scheduling framework, asynchronous
Dependabot's core logic for creating update PR's
Monitor and troubleshoot transactions in complex distributed systems
A cross platform C99 library to get cpu features at runtime
Allows you to create machine-readable definitions of asynchronous APIs
Tiny Scala high-performance, async web framework
Property-based testing for Scala
A dialect for Thymeleaf that lets you build layouts
An easy to use and powerful chaos engineering experiment toolkit
[deprecated] KMongo - a Kotlin toolkit for Mongo
Docker image used to run data processing workloads
Clojure & ClojureScript Language Server (LSP) implementation
Gradle plugin for integrating NodeJS in your build
A declarative, Kotlin-idiomatic API for writing dynamic console app
A Kotlin API for generating .kt source files
Repository for the book "Crafting Interpreters"
Gideros Release version
The Leading Security Assessment Framework for Android
Cucumber for Ruby
Welcome to the Bot Framework SDK for .NET repository
A comprehensive, efficient, and reusable util function library of Go
Contains useful CDK and Projen constructs vended in multiple languages
Generic automation framework for acceptance testing and RPA