Project N.O.M.A.D, is a self-contained, offline survival computer packed with critical tools, knowledge, and AI to keep you informed and empowered—anytime, anywhere.

The best ChatGPT that $100 can buy.

(NeurIPS 2021) Revisiting Deep Learning Models for Tabular Data

A Compiler Writing Journey

Deep Learning and Logical Reasoning from Data and Knowledge

Master programming by recreating your favorite technologies from scratch.

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

Lean 4 programming language and theorem prover

A portable kernel/userspace development framework

A knowledge integration framework based on Wikidata

A Large Language Model Store plugin for the Knowledge Integration Framework

A high-throughput and memory-efficient inference and serving engine for LLMs

Projetos da disciplina Programação para Web (UFRRJ), organizados por semestre.

100+ AI Agent & RAG apps you can actually run — clone, customize, ship.