A statically typed lisp, without a GC, for real-time applications.
Repository Index
73,362 visible repositories in the index
73–96 of 611 · Most stars
Fast event-loop networking for Go
A personal experimental C++ Syntax 2 -> Syntax 1 compiler
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
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
- concurrency
- ruby
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
- typescript
- utility-types
- utilities
- static-typing
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
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
A tool to help migrate JavaScript code quickly and conveniently to TypeScript
- typescript
- javascript
- codemod
- migration
Rust bindings for the C++ api of PyTorch.
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
The Programming Language for Agents
Rust bindings for Godot 4
- game-development
- gamedev
- godot
- rust
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
A fast, efficient Node.js Worker Thread Pool implementation
- nodejs
- worker-threads
- pooling
- performance
Confluent's Apache Kafka Golang client
- confluent
- golang
- golang-library
- golang-bindings
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
Canonical actor model implementation for .NET with local + distributed actors in C# and F#.
- akka
- actor-model
- dotnet
- concurrency
Parse, inspect, transform, and serialize content with syntax trees
- syntax-tree
- ast
- cst
- javascript
A doc comment standard for TypeScript
- typescript
- documentation
- comments
- syntax
A minimalistic ClojureScript interface to React.js
👮 A PHP desktop/mobile user agent parser with support for Laravel, based on Mobiledetect
- user-agent
- mobile-detect
- robot
- browser
A lightweight dynamic thread pool framework with built-in monitoring and alerting, unified third-party thread pool management, and support for popular configuration centers (Nacos, Apollo, Zookeeper, Consul, and Etcd), extensible via SPI。
- java
- dynamic-threadpool
- spring
- nacos