Stars
High-performance backend for language model probabilistic programs
LILO: Library Induction with Language Observations
High-Performance Symbolic Regression in Python and Julia
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
Interactive data visualizations and plotting in Julia
Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
The source repository for the free online stenography textbook, Art of Chording.
Library implementation of DreamCoder as adapted for LAPS.
Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
Package to call Python functions from the Julia language
A general-purpose probabilistic programming system with programmable inference
Open source code for AlphaFold 2.
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
An analysis tool for Python that blurs the line between testing and type systems.
A Dataset of Python Challenges for AI Research
VS Code extension for Haskell, powered by haskell-language-server
A static analysis library for computing graph representations of Python programs suitable for use with graph neural networks.
A Coq IDE build on top of Proof General's Coq mode
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Python supercharged for the fastai library
Pretrain, finetune ANY AI model of ANY size on multiple GPUs, TPUs with zero code changes.
Create argparser automatically from py3.9+ annotations 🐍.
A new way to see and navigate directory trees : https://dystroy.org/broot