Lean theorem proving interface which feels like pen-and-paper proofs.

The Triton Inference Server provides an optimized cloud and edge inferencing solution.

Artificial Intelligence Research for Science (AIRS)

Master Big Data With PySpark and AWS

The math library of Lean 4

Scientific computing in Lean 4

Automate browser-based workflows with LLMs and Computer Vision

Make awesome display tables using Python.

Positron, a next-generation data science IDE

Sharing early versions of Ada, a personal AI Assistant built on OpenAIs Realtime API

An opinionated, Agentic Engineering toolbox powered by LLM Agents to solve problems autonomously.

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Truly independent web browser

Examples for the Big Data Mining class

This repository contains additional material for the course

Introduction to Python for Data Science

A simple command line script to help you keep track of site updates

Philosophical simulations (epistemology)

Building the Bi-LSTM & the CNN-GAN models to compose Classical Music in different eras

Data structures and algorithms for working with geographic coordinates

A full-featured Crystal web framework that catches bugs for you, runs incredibly fast, and helps you write code that lasts.

💎 A collection of awesome Crystal libraries, tools, frameworks and software

The Crystal Programming Language

Fast, Effective, Simple Web Framework

Muzic: Music Understanding and Generation with Artificial Intelligence

Public repository for the Thermodynamic Neural Network File