Interact with your documents using the power of GPT, 100% privately, no data leaks

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

Mirror of the R svn with CI for testing patches

Advanced R: a book

GitHub Actions for the R community

Vim runtime scripts of file types that include R code

OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

Safari port of vimium

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

Agda interaction pluging for neovim

Agda formalisation of the Introduction to Homotopy Type Theory

R extension library for rust designed to be familiar to R users.

Independent technology for modern publishing, memberships, subscriptions and newsletters.

A Probability Theory Library for the Coq Theorem Prover

GDB pretty printers for eigen types

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Partial re-write of the R package stochvol to allow for asymmetry (leverage).

A General-purpose Task-parallel Programming System using Modern C++

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

A modern proof language

Functional data science

Some pretty printers and other useful GDB stuff when using the C++ armadillo linear algebra library

A code-completion engine for Vim

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

A Filetype plugin for csv files

dplyr: A grammar of data manipulation

PyChess - a chess client for Linux/Windows

Linear algebra and numerical computation

ELTE FI bachelor and master thesis template.