bsubercaseaux

Bernardo Subercaseaux's repositories

Material related to competitive programming (Specially ACM-ICPC)

Language:C++1 30

A simple web version of the game 24

Language:JavaScript1 20

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:JavaScriptMIT010

A prototype library for prototyping SAT encodings.

Language:PythonMIT000

Data repository for pretrained NLP models and NLP corpora.

Language:PythonLGPL-2.1010

Code release for Learning with Opponent-Learning Awareness and variations.

Language:Jupyter NotebookMIT010

Language:C++MIT02 2

Code associated to the paper "The Packing Chromatic Number of the Infinite Square Grid is At Least 14", accepted at SAT'2022

Language:Python020

Files related to the paper "The Packing Chromatic Number of the Infinite Square Grid is 15", accepted at TACAS'2023.

Language:PythonGPL-3.0020

Language:CSSMIT020

Language:Python010

Website for the smart-group at CMU

Language:SCSS010

For my talk at TACAS 2023

Language:Python020