🐍 Simple FastAPI template that mimics Flask's blueprint directory structure

An entity framework for Go

Graph neural networks for molecular design.

🚀 CLI tool for FastAPI. Generating new FastAPI projects & boilerplates made easy.

Awesome Docker Compose samples

FastAPI framework, high performance, easy to learn, fast to code, ready for production

Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

A command-line hex viewer

The home for our Cal Sans font.

Virtual Apollo Guidance Computer (AGC) software

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

C++ logging library. It is powerful, supports asynchronous low latency, extendable, light-weight, fast performing, thread and type safe and consists of many built-in features. It provides ability t…

Fast C++ logging library.

An extension to render cadquery objects in JupyterLab via pythreejs

Demo for high-performance type theory elaboration

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

A neovim lua plugin to help easily manage multiple terminal windows

Asynchronous Python ODM for MongoDB

Ready-to-use and customizable users management for FastAPI

🔎 Quick and easy Schema.org graphs for Vue. Powered by Unhead.

A Library for Representing Recursive and Impure Programs in Coq

Algorithmic Information Theory, using Binary Lambda Calculus

LLM inference in C/C++

attention-based LSTM/Dense implemented by Keras

ChatRWKV is like ChatGPT but powered by RWKV (100% RNN) language model, and open source.

RWKV (pronounced RwaKuv) is an RNN with great LLM performance, which can also be directly trained like a GPT transformer (parallelizable). We are at RWKV-7 "Goose". So it's combining the best of RN…

Development and compilation setup for the book versions of MINIX (2.0.0 and 3.1.0) on QEMU