Skip to content
View lamafab's full-sized avatar

Sponsoring

@cryptomator

Organizations

@botanix-labs

Block or report lamafab

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

The math library of Lean 4

Lean 2,888 1,074 Updated Feb 12, 2026

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

TypeScript 188,189 31,809 Updated Feb 12, 2026

Paladin is a platform for building programmable privacy preserving tokens on EVM, with integrated client and wallet. Support for several privacy frameworks including ZKP tokens, issuer-backed token…

Go 62 36 Updated Feb 12, 2026

📬 Spacebar is a free open source selfhostable discord compatible communication platform

6,436 215 Updated Feb 11, 2026

Rust bindings for the bitcoin kernel library

C++ 55 16 Updated Jan 27, 2026

The social permissionless app store

Dart 353 14 Updated Feb 12, 2026

A private network system that uses WireGuard under the hood.

Rust 5,410 210 Updated Jan 6, 2026

A Trust-minimized Bitcoin Bridge

Rust 497 180 Updated Jan 26, 2026

An implementation of Messaging Layer Security (RFC 9420)

Rust 198 40 Updated Feb 9, 2026

A feature-rich command-line audio/video downloader

Python 146,844 11,906 Updated Feb 12, 2026

Lean 4 programming language and theorem prover

Lean 7,294 752 Updated Feb 12, 2026

Occlum is a memory-safe, multi-process library OS for Intel SGX

Rust 1,513 250 Updated Feb 5, 2026

Tendermint KMS: Key Management System for Tendermint Validators

Rust 360 145 Updated Feb 11, 2026

OpenZFS on Linux and FreeBSD

C 11,974 1,950 Updated Feb 11, 2026

Noir is a domain specific language for zero knowledge proofs

Rust 1,297 371 Updated Feb 12, 2026

A fast DHCP server

Go 81 1 Updated Mar 4, 2025

Bip78 over Tor

C# 16 1 Updated Jun 9, 2021

An AI generated text-based adventure game.

Python 21 2 Updated Aug 11, 2023

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

Python 156,418 32,048 Updated Feb 12, 2026

The AI Code Editor

32,265 2,201 Updated Jan 31, 2026

A rust implementation of the Kyber post-quantum KEM

Rust 230 42 Updated Mar 20, 2024

Clean, portable, tested implementations of post-quantum cryptography

C 867 169 Updated Jan 9, 2026

C Implementation of NTRUEncrypt

C 216 57 Updated Jun 7, 2021

💚 End-to-end encrypted cloud for everything.

Dart 24,445 1,444 Updated Feb 12, 2026

A library to help you make the most out of your Pixoo 64 (and hopefully soon other Wi-Fi enabled Pixoos)

Python 328 39 Updated Aug 18, 2024

Tornado Cash as a foundry project, using latest versions of tools such as Circom, snarkJS, etc.

Solidity 247 32 Updated Dec 2, 2024

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

Jupyter Notebook 85,180 12,901 Updated Feb 9, 2026

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Haskell 10,408 562 Updated Feb 12, 2026

A bare metal programming guide (ARM microcontrollers)

C 4,387 395 Updated Jul 29, 2025
Next