Skip to content
View Paulocracy's full-sized avatar
🩸
αἷμα
🩸
αἷμα

Organizations

@klamt-lab @cnapy-org

Block or report Paulocracy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

COPASI is a software application for simulation and analysis of biochemical networks and their dynamics.

C++ 102 29 Updated Jan 21, 2025

A Python utility / library to sort imports.

Python 6,586 590 Updated Jan 30, 2025

The math library of Lean 4

Lean 1,700 370 Updated Jan 31, 2025

Concurrent Python made simple

Python 967 18 Updated Jan 28, 2025

A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

Python 4,522 2,336 Updated Jan 31, 2025

A Rust Websocket client that compiles to both native and web

Rust 238 29 Updated Nov 11, 2024
Python 41 3 Updated Jan 9, 2025

An embedded scheme interpreter in Rust

Rust 1,457 61 Updated Jan 31, 2025

Easily view PyPI download statistics via Google's BigQuery.

Python 425 33 Updated Dec 1, 2024

A web framework for Rust.

Rust 24,853 1,588 Updated Dec 2, 2024

Distribute and run LLMs with a single file.

C++ 21,464 1,115 Updated Jan 30, 2025

The cross-platform open-source app built for handwriting

Dart 2,461 161 Updated Jan 23, 2025

An open-source cross-platform alternative to AirDrop

Dart 56,609 3,059 Updated Jan 30, 2025

Audiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor / tokenizer, along with MusicGen, a simple and controllable…

Jupyter Notebook 21,392 2,219 Updated Jan 15, 2025

🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production

Python 37,256 4,641 Updated Aug 16, 2024

Amphion (/æmˈfaɪən/) is a toolkit for Audio, Music, and Speech Generation. Its purpose is to support reproducible research and help junior researchers and engineers get started in the field of audi…

Python 8,396 639 Updated Jan 23, 2025

A fast, local neural text to speech system

C++ 7,618 551 Updated Oct 21, 2024

Lean 4 programming language and theorem prover

Lean 4,995 454 Updated Jan 31, 2025

Most feature-complete Linux GUI power management solution.

Rust 267 1 Updated Jan 25, 2025

Lua Virtual Reality Framework

C 2,234 142 Updated Jan 26, 2025

Overte open source virtual worlds platform.

C++ 167 54 Updated Jan 30, 2025

Productive, portable, and performant GPU programming in Python.

C++ 26,651 2,330 Updated Jan 6, 2025

boxxy puts bad Linux applications in a box with only their files.

Rust 1,629 26 Updated Dec 4, 2024

Sketch and take handwritten notes.

Rust 8,619 306 Updated Jan 14, 2025

A new markup-based typesetting system that is powerful and easy to learn.

Rust 37,114 1,006 Updated Jan 30, 2025

💬 Create Dialogs, Visual Novels, RPGs, and manage Characters with Godot to create your Game!

GDScript 4,202 250 Updated Jan 23, 2025

Reimplementation of Gothic 2 Notr

C++ 1,215 90 Updated Jan 30, 2025

A retro game engine for Python

Rust 15,738 857 Updated Jan 30, 2025
Next