Wasm interpreter in lean, designed for reasoning

An AI-powered spatial canvas for thinking through ideas.

VeraBench: a benchmark suite for LLM code generation in Vera

Python SDK for WildEdge

The non AI language

Markdown-native, statically typed programming language in Rust for deterministic AI-native workflows.

Bluetooth Exposure Notification beacons manipulation tool for Linux

Modern mocking library for Python.

Simple message (event/command) bus.

Simple creation of data classes from dictionaries.

The Ren'Py Visual Novel Engine

REST implementation of Django authentication system.

Pysolar is a collection of Python libraries for simulating the irradiation of any point on earth by the sun. It includes code for extremely precise ephemeris calculations.

Django Extended Tests is set of helpers for easy testing of Django apps.

Dump1090 is a simple Mode S decoder for RTLSDR devices

Modular search for Django. Currently v2.0.0-beta.

python elasticsearch client

Przykładowy projekt, który mógłby wystartować w Turnieju Elektrybałtów

Modular search for Django