#
marcelovmaciel
Follow
Lists (1)
Starred repositories
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
A project to digitalise results from high energy physics into Lean.
A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.
Tool to analyse the import structure of lean projects.
Hydra is a game launcher with its own embedded bittorrent client
The paper list of the 86-page paper "The Rise and Potential of Large Language Model Based Agents: A Survey" by Zhiheng Xi et al.
The "batteries included" extended library for the Lean programming language and theorem prover
Create LLM agents with long-term memory and custom tools 📚🦙
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.
Tidier file reading and writing in Julia, modeled after the readr, haven, readxl, and writexl R packages.
Python framework for multiplayer decision games, behavioral experiments, and surveys
An extremely fast Python package installer and resolver, written in Rust.
Official implementation of HARL algorithms based on PyTorch.
An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities
🦁 A research-friendly codebase for fast experimentation of multi-agent reinforcement learning in JAX
LLMs4OL: Large Language Models for Ontology Learning
A package for ontology engineering with deep learning and language models.
Material for a full course on applied nonlinear dynamics, nonlinear timeseries analysis, and complex systems, in Julia
