banrovegrie's Stars
bitcoin/bitcoin
Bitcoin Core integration/staging tree
resume/resume.github.com
Resumes generated using the GitHub informations
commaai/openpilot
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system in 275+ supported cars.
openai/gpt-2
Code for the paper "Language Models are Unsupervised Multitask Learners"
eth-sri/lmql
A language for constraint-guided and efficient LLM programming.
kth-competitive-programming/kactl
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
epfml/OptML_course
EPFL Course - Optimization for Machine Learning - CS-439
mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
bollu/bollu.github.io
code + contents of my website, and programming life
Groverkss/IIIT-Courses-Resources
Resources related to IIITH courses for learning beyond the courses.
theochem/procrustes
Python library for finding the optimal transformation(s) that makes two matrices as close as possible to each other.
LachlanGray/lmql-tree-of-thoughts
LMQL implementation of tree of thoughts
anurudhp/CPHaskell
A collection of templates and solutions for Competitive Programming in Haskell
LSchatzki/NTangled_Datasets
Entanglement-based datasets and generators for quantum machine learning
Opensource-IIITH/Discord-CAS
Tool for user verification via CAS on Discord servers.
Groverkss/Notion-CMS-Blog
A blog with Notion as its content management system. Imports content from notion and publishes it.
banrovegrie/Christine
Discord Bot that moderates Harassment along with Toxicity and Depressive Behavior
banrovegrie/entanglement-detection
Proceedings on Entanglement Detection and the Absolute Classes Problem
AnimeshSinha1309/research-notes
All things done for IIIT research.
banrovegrie/Playing-Games
Games and Computational Complexity: contains proof that CELESTE in NP-C
bishboi/Deedy-Resume-Website
This is a resume/portfolio website based on Deedy's resume template and built in svelte
TheCharmingSociopath/Quantum-Algorithms-Spring-22
claretgrace0801/Rude-Bot
A discord bot that replies with rude statements whatever you say
LachlanGray/blind-prompting
rvk7895/Hackathon_Templates
banrovegrie/hsim
Fast Hamiltonian Simulation
claretgrace0801/booo
claretgrace0801/haskell
Haskell... yum!
Zshan0/Q_sharp
Microsoft Q# coding contest solutions for the contest.
Zshan0/Faraday
Website for training in stocks trading.