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 3,063 1,185 Updated Mar 26, 2026

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

TypeScript 336,206 65,749 Updated Mar 26, 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 63 40 Updated Mar 25, 2026

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

6,624 216 Updated Feb 13, 2026

Rust bindings for the bitcoin kernel library

C++ 57 19 Updated Mar 3, 2026

The social permissionless app store

Dart 411 17 Updated Mar 9, 2026

A private network system that uses WireGuard under the hood.

Rust 5,444 210 Updated Mar 19, 2026

A Trust-minimized Bitcoin Bridge

Rust 504 184 Updated Jan 26, 2026

An implementation of Messaging Layer Security (RFC 9420)

Rust 210 45 Updated Mar 24, 2026

A feature-rich command-line audio/video downloader

Python 153,294 12,426 Updated Mar 21, 2026

Lean 4 programming language and theorem prover

Lean 7,651 789 Updated Mar 26, 2026

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

Rust 1,516 249 Updated Feb 5, 2026

Tendermint KMS: Key Management System for Tendermint Validators

Rust 363 146 Updated Mar 16, 2026

OpenZFS on Linux and FreeBSD

C 12,075 1,971 Updated Mar 25, 2026

Noir is a domain specific language for zero knowledge proofs

Rust 1,324 380 Updated Mar 26, 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 158,422 32,608 Updated Mar 25, 2026

The AI Code Editor

32,519 2,215 Updated Jan 31, 2026

A rust implementation of the Kyber post-quantum KEM

Rust 231 42 Updated Mar 20, 2024

Clean, portable, tested implementations of post-quantum cryptography

C 890 177 Updated Jan 9, 2026

C Implementation of NTRUEncrypt

C 217 57 Updated Jun 7, 2021

💚 End-to-end encrypted cloud for everything.

Dart 25,522 1,506 Updated Mar 26, 2026

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

Python 329 39 Updated Aug 18, 2024

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

Solidity 249 32 Updated Dec 2, 2024

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

Jupyter Notebook 89,251 13,617 Updated Mar 21, 2026

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

Haskell 10,746 580 Updated Mar 25, 2026

A bare metal programming guide (ARM microcontrollers)

C 4,507 417 Updated Jul 29, 2025
Next