Hyperscript Tagged Markup: JSX alternative using standard tagged templates, with compiler support.
Repository Index
47,133 repositories indexed
25–48 of 189 · Most stars
Type-Safe Errors for JS & TypeScript
- functional-programming
- typescript
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.
Coroutine-based concurrency library for Python
- python
- coroutines
- greenlet
- asyncio
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
Event-driven networking engine written in Python.
- python
- twisted
- async
- async-python
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
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
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
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
Lightweight, modular, and extensible library for functional programming.
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
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
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
- erlang
- golang
- elixir
- supervisor
🦎 Move an async function into its own thread.
- worker
- webworker
- thread
- web-worker
Android virtual machine and deobfuscator
- deobfuscation
- java
- optimization
- android
🏗️ Run a module in a Web Worker.
- web-worker
- web-workers
- threading
EventMachine: fast, simple event-processing library for Ruby programs
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and memory ops 🦖
High-level streams library for Node.js and the browser
Tools and libraries to glue C/C++ APIs to high-level languages
- cppsharp
- parsing
- glue
- syntax-tree
Generic programming for Scala
- scala
- typelevel
- functional-programming
- generic-programming
Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP
- zephir
- phalcon
- php-internals
- php-extension