neighthan
Follow
Lists (3)
Starred repositories
Vera: a programming language designed for LLMs to write
Official repo for paper "Structured 3D Latents for Scalable and Versatile 3D Generation" (CVPR'25 Spotlight).
An analysis tool for Python that blurs the line between testing and type systems.
Methods to soundly verify deep neural networks
Data Apps & Dashboards for Python. No JavaScript Required.
Easy and full-automated markdown setup for technical documents.
Symbolic programming for the next generation of numerical software
Pyodide is a Python distribution for the browser and Node.js based on WebAssembly
A PyTorch library entirely dedicated to neural differential equations, implicit models and related numerical methods
Collection of layers that can perform arithmetic operations
Multi-language suite for high-performance solvers of differential equations and scientific machine learning (SciML) components. Ordinary differential equations (ODEs), stochastic differential equat…
Gin provides a lightweight configuration framework for Python
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
A JupyterLab extension for displaying cell timings
The new Windows Terminal and the original Windows console host, all in the same place!
The Verifiably Safe Reinforcement Learning Framework
Drench yourself in Deep Learning, Reinforcement Learning, Machine Learning, Computer Vision, and NLP by learning from these exciting lectures!!
portion, a Python library providing data structure and operations for intervals.
Pretrain, finetune ANY AI model of ANY size on 1 or 10,000+ GPUs with zero code changes.
Simultaneous object detection and tracking using center points.