👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

A generative world for general-purpose robotics & embodied AI learning.

Collection of benchmarks of functional programming languages and proof assistants.

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

Due to some issue i created one sperated repo

Simple, unified interface to multiple Generative AI providers

Implementations of various type systems in OCaml.

Main public package repository for opam, the source package manager of OCaml.

A python program that turns an LLM, running on Ollama, into an automated researcher, which will with a single query determine focus areas to investigate, do websearches and scrape content from vari…

Inpla: Interaction nets as a programming language (the current version)

BrickLink project files for GitHub LEGO sets

Nix, the purely functional package manager

A collection of prompts to challenge the reasoning abilities of large language models in presence of misguiding information

JsonWebToken implementation for node.js http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html

A modern proof language

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

Class

Check agda commands from your terminal

The Github home of Orbot: Tor on Android (Also available on gitlab!)

A GitHub action to create an issue using content from a file

The Agda standard library

A ferramenta mais simples e fácil de usar para automatizar documentação de código

A minimal vim theme with a touch of hot pink