Lists (1)
Starred repositories
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A free, open-source and Bitcoin native prediction market.
4
Updated Jul 12, 2025
Extensão do Chrome que faz o seu navegador tomar uma red pill.
Agda is a dependently typed programming language / interactive theorem prover.
Telegram bot for decentralized photo sales with Web3 payments
Master programming by recreating your favorite technologies from scratch.
Precise fixed-scale (8 decimal places) arithmetic for financial calculations.
Códigos e anotações sobre Machine Learning e seus fundamentos
λ — Tradução em pt-br de "Structure and Interpretation of Computer Programs — JavaScript Adaptation"
naoeosavio / codocx
Forked from jefferson-calmon/codocxA ferramenta mais simples e fácil de usar para automatizar documentação de código
A ferramenta mais simples e fácil de usar para automatizar documentação de código
Source code for vscode extension of Bend programming language.
Tuta is an email service with a strong focus on security and privacy that lets you encrypt emails, contacts and calendar entries on all your devices.
Unofficial guide to Bend programming language
A simple MLP written in the recently released Bend programming language.
Temporary repository for Kind2's refactor based on HVM2
Anime Girls Holding Programming Books
Um joguinho de adivinhar o número.