Training Sparse Autoencoders on Language Models

Simplifying reinforcement learning for complex game environments

A library for mechanistic interpretability of GPT-style language models

Sparse Autoencoder for Mechanistic Interpretability

A concise but complete full-attention transformer with a set of promising experimental features from various papers

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

Creek

Software platform and algorithms for multi-body dynamics simulation, control, estimation, and path-planning. Intended for robotics software development and testing.

CLK hash: hash pii for entity matching

Presto Docker Container

Code

Global-Scale Secure Multiparty Computation

The Guardian DotCom.

120+ interactive Python coding interview challenges (algorithms and data structures). Includes Anki flashcards.

Lean Theorem Prover

The future of online communications.

Graphical execution engine for R

A framework for training and evaluating AI models on a variety of openly available dialogue datasets.

a R binding for snappy the google compressor, referred by official project page

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

The Swiss army knife of data examination and manipulation

Multi-list processor language

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Functional language with intensional polymorphism and first-class staging.

Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries

Inline C, C++ or Fortran functions in R

Context is an R package for importing dependencies in large projects

The unofficial Python client for the GDAX API

Merit aims to be the world's most adopted digital currency.