Samba Suite Version 4

C++ libraries for building network-based applications

Computer-aided number theory C library and tools

A dependently typed functional programming language and proof assistant

Toolkit for simulation of passage of particles through matter

Robust, reliable performance measurement and analysis

Conversion between markup formats

Global Self-consistent, Hierarchical, High-resolution Shoreline programs

Treemap visualiser for GHC prof files

A speech synthesizer for Russian (and similar) language

Proprietary freeware multimedia map of several Russian and Ukrainian towns

Module limbo

Descent Rebirth - enhanced Descent 1 & 2 engine

Modifications to Chromium for removing Google integration and enhancing privacy

We have made you a wrapper you can't refuse

Fcitx5 Next generation of fcitx

a utf-8 support module for Lua and LuaJIT

Addons related to Chinese, including IME previous bundled inside fcitx4

Cromite a Bromite fork with ad blocking and privacy enhancements; take back your browser!

Conversion between markup formats

Parsing/normalizing street addresses around the world

Exploring AWS EC2 Spot inventory

Multi-Buffer Crypto for IPSec from Intel

AWS SDK for C++

fitting oscillations & one-over f

Core helper lib for Hartware codes.

Licenseware SDK which contains common functionality used in all apps

Creating maps with machine learning models and earth observation data.

Pait is a Python api tool. Pait enables your Python web framework to have type checking, parameter type conversion, interface document generation and can display your documents through Redoc or Swagger (power by inspect, pydantic)

PyCap: Python interface to REDCap

文心千帆大模型平台 Python SDK