Open source solutions for SOC2, GDPR, and ISO27001

Lightpanda: the headless browser designed for AI and automation

A JavaScript implementation of Llama 3 using node-mlx.

Official inference library for Mistral models

Clerkie-cli is a terminal tool that uses an LLM to help debug and troubleshoot coding errors in any programming language. It offers explanations, suggested fixes, guidance, alternative approaches, …

An updated version of miniF2F with lots of fixes and informal statements / solutions.

Custom AI assistant platform to speed up your work.

Async version of the Rust standard library

Securely embed JavaScript code into a Rust application

Lean mathzoo

Tiled Window Management for Vim

A readline wrapper

the champagne of beta embedded databases

Recording of tactic proofs in Lean 3 for machine learning

Easily run Python at the shell! Magical, but never mysterious.

Metamath source file for logic and set theory

Fast Block Sparse Matrices for Pytorch

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

A Learning Environment for Theorem Proving with the Coq proof assistant

IMO Grand Challenge for Artificial Intelligence

Holophrasm: a neural Automated Theorem Prover for higher-order logic

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

The HOL Light theorem prover

Unofficial implemention of lanenet model for real time lane detection

A Python wrapper on Darknet. Compatible with YOLO V3.

ILP client for browsers/Node.js

See your Stripe MRR and monthly stats in the terminal

Secure and simple terminal sharing