banrovegrie

banrovegrie's Stars

• bitcoin/bitcoin

  Bitcoin Core integration/staging tree

  Language:C++77.7k4k8.1k35.8k

• resume/resume.github.com

  Resumes generated using the GitHub informations

  Language:JavaScript61.8k3441191.4k

• commaai/openpilot

  openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system in 275+ supported cars.

  Language:Python49.1k1.3k2.7k8.9k

• openai/gpt-2

  Code for the paper "Language Models are Unsupervised Multitask Learners"

  Language:Python22.2k6362645.5k

• eth-sri/lmql

  A language for constraint-guided and efficient LLM programming.

  Language:Python3.6k22249194

• kth-competitive-programming/kactl

  KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)

  Language:C++2.6k5197690

• epfml/OptML_course

  EPFL Course - Optimization for Machine Learning - CS-439

  Language:Jupyter Notebook1.1k7410310

• mit-plv/fiat-crypto

  Cryptographic Primitive Code Generation by Fiat

  Language:Coq70453406147

• bollu/bollu.github.io

  code + contents of my website, and programming life

  Language:C361173323

• Groverkss/IIIT-Courses-Resources

  Resources related to IIITH courses for learning beyond the courses.

  Language:Python13732624

• theochem/procrustes

  Python library for finding the optimal transformation(s) that makes two matrices as close as possible to each other.

  Language:Python109124420

• LachlanGray/lmql-tree-of-thoughts

  LMQL implementation of tree of thoughts

  Language:Python32316

• anurudhp/CPHaskell

  A collection of templates and solutions for Competitive Programming in Haskell

  Language:Haskell25311

• LSchatzki/NTangled_Datasets

  Entanglement-based datasets and generators for quantum machine learning

  22313

• Opensource-IIITH/Discord-CAS

  Tool for user verification via CAS on Discord servers.

  Language:JavaScript203523

• Groverkss/Notion-CMS-Blog

  A blog with Notion as its content management system. Imports content from notion and publishes it.

  Language:HTML13102

• banrovegrie/Christine

  Discord Bot that moderates Harassment along with Toxicity and Depressive Behavior

  Language:Jupyter Notebook12302

• banrovegrie/entanglement-detection

  Proceedings on Entanglement Detection and the Absolute Classes Problem

  Language:Jupyter Notebook12201

• AnimeshSinha1309/research-notes

  All things done for IIIT research.

  Language:Jupyter Notebook8600

• banrovegrie/Playing-Games

  Games and Computational Complexity: contains proof that CELESTE in NP-C

  7214

• bishboi/Deedy-Resume-Website

  This is a resume/portfolio website based on Deedy's resume template and built in svelte

  Language:Svelte5100

• TheCharmingSociopath/Quantum-Algorithms-Spring-22

  Language:TeX51012

• claretgrace0801/Rude-Bot

  A discord bot that replies with rude statements whatever you say

  Language:Python4202

• LachlanGray/blind-prompting

  Language:Python4100

• rvk7895/Hackathon_Templates

  Language:JavaScript4201

• banrovegrie/hsim

  Fast Hamiltonian Simulation

  Language:TeX21

• claretgrace0801/booo

  Language:Python2200

• claretgrace0801/haskell

  Haskell... yum!

  Language:Haskell2201

• Zshan0/Q_sharp

  Microsoft Q# coding contest solutions for the contest.

  Language:Jupyter Notebook2111

• Zshan0/Faraday

  Website for training in stocks trading.

  Language:JavaScript1101