robertzk

Robert Krzyzanowski's starred repositories

cli

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

Language:PythonBSD-3-Clause33874 84 877

interactive-coding-challenges

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

Language:PythonNOASSERTION29523 958 68

ParlAI

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

Language:PythonMIT10488 283 1544

frontend

The Guardian DotCom.

Language:ScalaNOASSERTION5847 203 1903

x-transformers

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

Language:PythonMIT4768 55 223

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 the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Language:HaskellNOASSERTION3053 1430

BOLT

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

2516 87 220

c-toxcore

The future of online communications.

Language:CGPL-3.02285 108 594

lean3

Lean Theorem Prover

Language:C++Apache-2.02149 116 1124

TransformerLens

A library for mechanistic interpretability of GPT-style language models

Language:PythonMIT1550 17 255

PufferLib

Simplifying reinforcement learning for complex game environments

Language:PythonMIT1232 5 10

The-Spiral-Language

Functional language with intensional polymorphism and first-class staging.

Language:PythonMPL-2.0923 35 17

gap

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

Language:GAPGPL-2.0812 38 1776

relic

Code

Language:CNOASSERTION458 33 182

SAELens

Training Sparse Autoencoders on Language Models

Language:Jupyter NotebookMIT449 7 112

bo

The Swiss army knife of data examination and manipulation

Language:C332 6 2

merit

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

Language:C++MIT192 27 117

sparse_autoencoder

Sparse Autoencoder for Mechanistic Interpretability

Language:PythonMIT187 4 41

mm

Language:JavaScriptMIT113 1 2

clkhash

CLK hash: hash pii for entity matching

Language:PythonApache-2.047 8 141

inline

Inline C, C++ or Fortran functions in R

Language:R41 5 10

emp-agmpc

Global-Scale Secure Multiparty Computation

Language:C++NOASSERTION40 7 14

ReaK

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

Language:C++GPL-3.040 8 11