🚀 gnet is a high-performance, lightweight, non-blocking, event-driven networking framework written in pure Go.
- event-driven
- event-loop
- networking
- non-blocking
Repository Index
47,133 repositories indexed
25–48 of 253 · Most stars
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
The most widely used Python to C compiler
- python
- cython
- cpython
- cpython-extensions
WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.
Qt binding for Go (Golang) with support for Windows / macOS / Linux / FreeBSD / Android / iOS / Sailfish OS / Raspberry Pi / AsteroidOS / Ubuntu Touch / JavaScript / WebAssembly
- go
- gui-framework
- qt
- cross-platform-gui
.NET (WPF and Windows Forms) bindings for the Chromium Embedded Framework
- cefsharp
- c-sharp
- c-plus-plus
- wpf
High performance server-side application framework
- c-plus-plus
- seastar
- dpdk
- async
A shell parser, formatter, and interpreter with bash and zsh support; includes shfmt
An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.
:electron: Build cross platform desktop apps with ASP.NET Core (Razor Pages, MVC, Blazor).
- electron
- dotnet
- dotnet-core
- dotnet-standard
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
High performance, maintainable stylesheets.
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.
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- grpc
- actor-model
- actors
- cross-platform
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.
- lwjgl
- kotlin
- opengl
- opencl
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Sol3 (sol2 v3.0) - a C++ <-> Lua API wrapper with advanced features and top notch performance - is here, and it's great! Documentation:
- sol
- lua
- lua-bindings
- lua-binding
👮 A PHP desktop/mobile user agent parser with support for Laravel, based on Mobiledetect
- user-agent
- mobile-detect
- robot
- browser
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust
- reverse-engineering
- protocol-analyser
- file-format
- declarative-language
A high-performance non-blocking I/O networking framework focusing on RPC scenarios.
- rpc
- golang
- network-programming
- net
JRuby, an implementation of Ruby on the JVM
- jruby
- ruby-language
- jvm
- ruby
The Ballerina Programming Language
- programming-language
- language
- compiler
- ballerina-lang
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven