Change the repository type filter
All
Repositories list
214 repositories
- A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
- A modern high-performance open source message queuing system
selekt
Publicpushiko
PublicWindshaft-cartodb
Publicblazingmq-sdk-python
PublicPython SDK for BlazingMQ, a modern high-performance open source message queuing system.- Basic Development Environment - a set of foundational C++ libraries used at Bloomberg.
comdb2
Publicllama_index
Public- Experimental clang support for WG21 P2996 (Reflection).
- Functions and proofs about game trees in Rocq, implemented as rose trees.
stricli
PublicBuild complex CLIs with type safety and no dependenciesmemray
PublicMemray is a memory profiler for Pythonpystack
Public🔍 🐍 Like pstack but for Python!sable
Public- A small, fast, pure JavaScript type-stripper that uses the official TypeScript parser.
bbit-learning-labs
Publicbde-tools
Publicweir-qos
Public- Sockets, timers, resolvers, events, reactors, proactors, and thread pools for asynchronous network programming
blazingmq-sdk-java
PublicJava SDK for BlazingMQ, a modern high-performance open source message queuing system.trino-odbc
Publicpybossa
Publicclimate-credit-risk
Publicpybossa-default-theme
Public