A lightweight carousel library with fluid motion and great swipe precision.

Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.

WebAssembly System Interface

A modern version of Monaco Editor.

LingoDB: A new analytical database system that blurs the lines between databases and compilers.

formalization of mathematics in Agda

LLM based autonomous agent that conducts deep local and web research on any topic and generates a long report with citations.

TeXpresso: live rendering and error reporting for LaTeX

Create JSON Schemas directly from your Julia types

Abstract definitions and convenience methods for describing, processing, and constructing Julia objects

Options & Configurations made easy.

Package for compiling and bundling julia binaries, specially trimmed ones

Smoothly animated code blocks with Shiki

The Swift Programming Language

Object and type viewer for Julia

Utility library for working with CSV and other delimited files in the Julia programming language

Based on RapidOCR, extract the PDF content

Unicode-based scientific plotting for working in the terminal

Pkg - Package manager for the Julia programming language

Myia prototyping

State-of-the-art TTS model under 25MB 😻

JSON Schema validation package for Julia

gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI

Lightweight framework for easy and efficient code generation

A collection of formalized statements of conjectures in Lean.

A Python library that generates static type annotations by collecting runtime types

The math library of Lean 4