An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.
Repository Index
47,133 repositories indexed
73–96 of 853 · Most stars
:electron: Build cross platform desktop apps with ASP.NET Core (Razor Pages, MVC, Blazor).
- electron
- dotnet
- dotnet-core
- dotnet-standard
Translated🔥 A network library that is easier to use than libevent/libuv/asio. A c/c++ network library for developing TCP/UDP/SSL/HTTP/WebSocket/MQTT/Redis client/server.
Trio – a friendly Python library for async concurrency and I/O
- python
- async
- async-await
- networking
📦✨ your favorite rust -> wasm workflow tool!
A fast type checker and language server for Python
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
Public repository of the Micro QuickJS Javascript Engine
Duktape - embeddable Javascript engine with a focus on portability and compact footprint
- javascript-engine
- javascript
- duktape
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
- javaparser
- parser
- java
- javadoc
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
Translated📌 Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.
- java
- thread-pool
- dynamic
- monitor
Event-driven networking engine written in Python.
- python
- twisted
- async
- async-python
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
Native Node bindings to Git.
- libgit2
- javascript
- nodegit
- git
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
Turn your ES5 code into readable ES6. Lebab does the opposite of what Babel does.
- lebab
- javascript
- compiler
- es2015
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
A better Python REPL
A utility library for JavaScript and TypeScript.
- typescript
- utility
- functional
- programming