breandan

breandan's Stars

• adam-maj/tiny-gpu

  A minimal GPU design in Verilog to learn how GPUs work from the ground up

  Language:SystemVerilog6.4k6220473

• google-deepmind/penzai

  A JAX research toolkit for building, editing, and visualizing neural networks.

  Language:Python1.5k171145

• ibm-granite/granite-code-models

  Granite Code Models: A Family of Open Foundation Models for Code Intelligence

  91620854

• skeeto/hash-prospector

  Automated integer hash function discovery

  Language:C656272226

• benruijl/symbolica

  A modern computer algebra system which aims to handle expressions with billions of terms.

  Language:Rust39110512

• revalo/tree-diffusion

  Diffusion on syntax trees for program synthesis

  Language:Python33214

• jart/morton

  Language:C278316

• IBM/neuro-vector-symbolic-architectures

  PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Machine Intelligence 2023.

  Language:Python683111

• CogComp/saul

  Saul : Declarative Learning-Based Programming

  Language:Scala641427817

• google/ide-perf

  An IntelliJ plugin for analyzing the performance of the IDE itself

  Language:Kotlin599614

• bsmock/k-shortest-paths

  A collection of algorithms (including Yen, Eppstein, and Lazy Eppstein) to compute the K shortest paths between two nodes in a weighted, directed graph, implemented in Java.

  Language:Java477221

• andrew-cr/discrete_flow_models

  Code for the paper https://arxiv.org/abs/2402.04997

  Language:Python36320

• Tractables/pyjuice

  Language:Python35444

• riceissa/aiwatch

  Website to track people, organizations, and products (tools, websites, etc.) in AI safety

  Language:HTML2041496

• carthach/kBestViterbi

  Python code for doing k-Best or List decoding with the Viterbi algorithm

  Language:Python183110

• IBM/kstar

  K* search based implementation of top-k and top-quality planners

  Language:C++153

• UW-Madison-Lee-Lab/Expressive_Power_of_LoRA

  Code for "The Expressive Power of Low-Rank Adaptation".

  Language:Python15101

• xuyuzhuang11/Werewolf

  Language:Python80

• radfordneal/gibbsmod

  Code for paper on Modifying Gibbs Sampling to Avoid Self Transitions

  Language:R7100

• 0xnurl/mdl-lstm

  Language:Jupyter Notebook6200

• Dotolation/diverse-graph-algo

  Diverse graph algorithms implemented using JGraphT library.

  Language:Java6

• Beluga-lang/McLTT

  A bottom-up approach to a verified implementation of MLTT

  Language:Coq55371

• jasperhoogland/jautomata

  Java library for (weighted) finite state automata. Acceptors, transducers, and multi-tape automata are supported.

  Language:Java5314

• malkin1729/ibis

  Efficient word ordering with pretrained language models

  Language:Python52

• gilith/timelock

  Specialized hardware to open the crypto timelock puzzle

  Language:Verilog4200

• b-rasp/b-rasp.github.io

  Language:HTML1

• lianghuang3/shannon_game

  Shannon Game for Human Language Model Entropy (in python)

  Language:Python10

• manudubinsky/tinygarden

  A java package for testing properties of spanning trees

  Language:Java11

• rycolab/transformer-ngrams

  Language:Python10

• wenxiwang/neuroback

  1