Rustastra

Rustastra's Stars

• teorth/equational_theories

  A project to map out the relations between different equational theories of Magmas.

  Language:C27765

• idontgetoutmuch/BrownianMotionInLean

  Brownian Motion in Lean

  Language:TeX1

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k437

• entropy-research/Devon

  Devon: An open-source pair programmer

  Language:Python3.3k269

• donnemartin/system-design-primer

  Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

  Language:Python283k47.4k

• lucidrains/PaLM-rlhf-pytorch

  Implementation of RLHF (Reinforcement Learning with Human Feedback) on top of the PaLM architecture. Basically ChatGPT but with PaLM

  Language:Python7.7k671

• encord-team/encord-active

  The toolkit to test, validate, and evaluate your models and surface, curate, and prioritize the most valuable data for labeling.

  Language:Python44425

• piterbarg/altnnpub

  Public code for our paper https://ssrn.com/abstract=3958331

  Language:Python238

• davidteter/OPEN-RISOP

  This is an attempt to build an open-sourced version of the Red Integrated Strategic Operational Plan (RISOP) using an open-sourced targeting database and weapon allocation modules and consequence of execution tools.

  10712

• Open-Cap-Table-Coalition/Open-Cap-Format-OCF

  Open Cap Format (OCF) - The Open Source Company Capitalization Data Standard. OCF can be used to structure and track the complex data structures necessary to build and maintain accurate capitalization (cap) tables.

  Language:TypeScript15132

• cleanlab/cleanlab

  The standard data-centric AI package for data quality and machine learning with messy, real-world data and labels.

  Language:Python9.8k754

• Beckschen/TransUNet

  This repository includes the official project of TransUNet, presented in our paper: TransUNet: Transformers Make Strong Encoders for Medical Image Segmentation.

  Language:Python2.5k512

• NVlabs/stylegan2-ada-pytorch

  StyleGAN2-ADA - Official PyTorch implementation

  Language:Python4.2k1.2k

• encord-team/encord-client-python

  Encord Python API Client

  Language:Python6212