• This repository has been archived on 03/Oct/2023
  • Stars
    star
    1
  • Language
    TeX
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 2 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Talk on Deterministic Algorithms for the Lovász Local Lemma

More Repositories

1

acts_as_favoritor

Adds Favorite, Follow, Vote, etc. functionality to ActiveRecord models
Ruby
346
star
2

notifications-rails

A flexible notification library supporting the delivery to external services, rendering in various environments, and user configuration by category.
Ruby
242
star
3

pwa

Progressive Web Apps for Rails
Ruby
144
star
4

turbolinks-animate

Rich & adaptive animations for apps using Turbolinks
JavaScript
134
star
5

pubtex

Publicly host LaTeX files on GitHub Pages
18
star
6

turbolinks-animate-rails

Rich & adaptive animations for apps using Rails with Turbolinks
Ruby
13
star
7

amp-html

Reliable high-⚡ apps across devices and distribution platforms with AMP & Rails.
Ruby
6
star
8

omniauth-paypal-oauth2

OAuth2 strategy for PayPal
Ruby
6
star
9

plaain

A serverless web app to organize and stream media from anywhere.
TypeScript
5
star
10

onsignal-rails

OneSignal API wrapper simplifying user targeted cross platform notifications
Ruby
5
star
11

onsignal

OneSignal API wrapper simplifying user targeted cross platform notifications
JavaScript
4
star
12

themer

Themes for Rails apps
Ruby
3
star
13

soco

Algorithms for Smoothed Online Convex Optimization
Jupyter Notebook
2
star
14

teaching-fpv-rev

Functional Programming and Verification revision course
TeX
2
star
15

modalist

A powerful & (really) lightweight asynchronous modal plugin
JavaScript
2
star
16

myg-rails

Myg on Rails
Ruby
2
star
17

ahoy-views

Track views of ActiveRecord objects in Rails
Ruby
2
star
18

pubtex-action

A GitHub action to publicly host LaTeX files on GitHub Pages
Shell
2
star
19

blurry.js

Blurry image loading with StackBlur
JavaScript
2
star
20

sandboxy

Virtual data-oriented environments for Rails
Ruby
2
star
21

tip-the-world-cup

Tip the 2018 World Cup with friends & family
Ruby
2
star
22

graph-algorithms-and-optimization

TeX
1
star
23

transductive-active-learning

Transductive Active Learning with Application to Safe Bayesian Optimization
Python
1
star
24

teaching-dwt-rev

Discrete Probability Theory revision course
TeX
1
star
25

learning-halfspaces-with-massart-noise

Implementation of "Distribution-Independent PAC Learning of Halfspaces with Massart Noise"
Jupyter Notebook
1
star
26

mozaic

An opinionated layout engine for Rails
Ruby
1
star
27

myg

An opinionated & modular state-of-the-web framework
CSS
1
star
28

r404

Error handler & renderer for Rails
Ruby
1
star
29

vscode-cyp

VS Code syntax highlighting for cyp
1
star
30

material-components-web

Provides a set of helpers simplifying the use of the Material Components Web library
Ruby
1
star
31

algorithms-lab

Solutions for the problems posed during the Algorithms Lab of 2021 at ETH Zurich.
C++
1
star
32

cancancan-system

Conventions & helpers simplifying the use of CanCanCan in complex Rails applications
Ruby
1
star
33

teaching-theo

Theoretical Computer Science teaching materials
TeX
1
star