Go library for Datalog-style logical reasoning and domain modeling
Mattermost is an open source platform for secure collaboration
npm package for OpenID Connect, OAuth Code Flow with PKCE
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator
Static type checker for Python
Spring Batch is a framework for writing batch applications using Java
A powerful, flexible, Markdown-based authoring framework.
CLI tool to initialize a React Native application with Expo
WhatsApp CLI
A python parametric CAD scripting framework based on OCCT
Starlark in Go: the Starlark configuration language, implemented in Go
An extensible multilanguage static code analyzer
Status, process, and documents for ECMA-262
Drogon: A C++14/17/20 based HTTP web application framework
LLVM-based compiler for the Nim language
Intel SPMD Program Compiler
OpenAPI based HTTP Client code generator
A frontend-independent IDE "smartness" server for Elixir
jQuery plugin to scroll the text like the old traditional marquee
The most widely used Python to C compiler
A type-safe, composable library for async and concurrent programming
Coroutine-based concurrency library for PHP
Meta-prompting, context engineering, spec-driven development system
Provides an extension of the Spring programming model
Tools for concurrent programming in Rust