Refinement types for Scala
Provides an engine that can compile and evaluate expressions
Lunatik is a framework for scripting the Linux kernel with Lua
Performs a risk analysis of the container environment
A runtime for writing reliable asynchronous applications with Rust
Package macaron is a high productive and modular web framework in Go
Safely execute untrusted Javascript in your Javascript
Performance meets Productivity
An incremental parsing system for programming tools
Collection of TypeScript type challenges with online judge
The statistical language R compiled to WebAssembly via Emscripten
Proxy: Next Generation Polymorphism in C++
A Blazing Fast, Enterprise-Grade Web Components Foundation
JavaScript libraries for Progressive Web Apps
A cross-platform GUI library for Rust, inspired by Elm
Mac App Store command line interface
Vim bindings for the web by design
C# support for Visual Studio Code (powered by OmniSharp)
Android Permissions Framework, Adapt to Android 16
Bing is a framework based on .net core 3.1
A new full-featured and high-performance TypeScript framework
FaaS (Function as a service) framework for writing portable Node.js
Package that gives Python programmers integration with .NET Common CLR
A fast and reliable entity component system (ECS) and much more
Native Mac APIs for Go