Popular repositories Loading

1. lhbusta.github.io lhbusta.github.io Public

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript

2. discrete-book-pt discrete-book-pt Public

   Forked from oscarlevin/discrete-book

   An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado

   TeX

3. minisat-ic minisat-ic Public

   Forked from master-keying/minisat

   A minimalistic and high-performance SAT solver

   C++

4. intel_sat_solver intel_sat_solver Public

   Forked from alexander-nadel/intel_sat_solver

   This repository contains the code of Intel(R) SAT Solver (IntelSAT)

   C++