Open-source framework for the research and development of foundation models.

Darwin Gödel Machine: Open-Ended Evolution of Self-Improving Agents

Drop-in enhancement for Rails cache, offering better performance and compression with Brotli algorithm

Use Valgrind memcheck on your native gem without going crazy

Tipi - the All-in-one Web Server for Ruby Apps

Ruby on SQLite

Live Elements Demo

Glimmer DSL for LibUI - Prerequisite-Free Ruby Desktop Development Cross-Platform Native GUI Library - The Quickest Way From Zero To GUI - If You Liked Shoes, You'll Love Glimmer! - No need to pre-…

Commands to help you build robust reactive applications with Rails & Hotwire.

A lightweight, responsive web e-book template

Port of OpenAI's Whisper model in C/C++

Operations research tools for Ruby

Golang library for managing configuration data from environment variables

write snippet code to rewrite your project code

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Versatile PDF creation and manipulation for Ruby

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Create beautiful JavaScript charts with one line of Ruby

Business intelligence made simple

Create graphics with a hand-drawn, sketchy, appearance

Animation engine for explanatory math videos

Programmable tooltip that can be used with any Mac OS app

Karate Club: An API Oriented Open-source Python Framework for Unsupervised Learning on Graphs (CIKM 2020)

A data visualization curriculum of interactive notebooks.

Simple read-only comand-line interface to your Things 3 database

Resumes generated using the GitHub informations

Guesses table DDL based on data

Stateless login-with microservice for OAuth

A light weight Python library for the Spotify Web API

Password protect a static HTML page, decrypted in-browser in JS with no dependency. No server logic needed.