Skip to content
View mhr's full-sized avatar

Highlights

  • Pro

Block or report mhr

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Differential Equation Units

Python 4 Updated Jul 25, 2024

Effortlessly convert Spotify links to your preferred streaming service

TypeScript 1,140 15 Updated Nov 17, 2024

Improved diffusion generative models with subspaces

Python 132 12 Updated Jun 1, 2022

Stanford NLP Python Library for Understanding and Improving PyTorch Models via Interventions

Python 639 62 Updated Nov 6, 2024

Alice in Wonderland code base for experiments and raw experiments data

Python 109 7 Updated Oct 13, 2024

Code for Quiet-STaR

Python 651 88 Updated Aug 21, 2024

🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers

Python 90 16 Updated Oct 22, 2024

Template to create a pyo project on the bela platform

C 12 4 Updated Jun 18, 2018

Probabilistic programming with programmable variational inference.

Jupyter Notebook 13 3 Updated Jun 22, 2024

Community spaces, consent, privacy, transparency, online.

Perl 21 8 Updated Oct 23, 2024

Lecture materials for Cornell CS5785 Applied Machine Learning (Fall 2024)

Jupyter Notebook 441 148 Updated Oct 28, 2024

Reference-Based Modulation (RB-Modulation)

124 1 Updated Aug 24, 2024

A domain-specific probabilistic programming language for reasoning about reasoning

Python 39 2 Updated Nov 15, 2024

A library for mechanistic interpretability of GPT-style language models

Python 1,572 304 Updated Nov 17, 2024

An implementation of system-versioned tables in Postgres using only triggers, with a time travelling todo app as a showcase.

Go 32 2 Updated Jan 21, 2024

Framework for Easily Invertible Architectures

Python 770 113 Updated Jul 3, 2024

A package for defining deep learning models using categorical algebraic expressions.

Python 56 1 Updated Jul 27, 2024

An inductive logic programming system

Python 206 36 Updated Nov 13, 2024

Structured Text Generation

Python 9,474 481 Updated Nov 10, 2024

Kanren with databases

Racket 43 5 Updated Jul 30, 2024

Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language

Python 90 14 Updated May 3, 2024

An experimental language for causal reasoning

Python 172 12 Updated Nov 6, 2024

Optimal transport tools implemented with the JAX framework, to get differentiable, parallel and jit-able computations.

Python 525 81 Updated Nov 13, 2024

AutoBound automatically computes upper and lower bounds on functions.

Python 355 19 Updated Jun 28, 2024

Kolmogorov Arnold Networks

Jupyter Notebook 15,065 1,392 Updated Nov 14, 2024

Reinforcement learning environments for drug discovery

Jupyter Notebook 16 2 Updated Aug 23, 2024

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

TeX 11,011 594 Updated Oct 20, 2024

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

Rust 3,935 274 Updated Nov 17, 2024

Official Implementation for the ICML2022 paper "Directed Acyclic Transformer for Non-Autoregressive Machine Translation"

Python 120 17 Updated Sep 10, 2023

Grok open release

Python 49,560 8,320 Updated Aug 30, 2024
Next