jonhue/teaching-fpv-rev jonhue/teaching-fpv-rev

  • This repository has been archived on 03/Oct/2023
  • Stars
    star
    2
  • Language
    TeX
  • Created over 4 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jonhue/teaching-fpv-rev
github

jonhue

Reviews

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

Repository Details

Functional Programming and Verification revision course

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

modalist

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

myg-rails

Myg on Rails
Ruby
2
star
16

ahoy-views

Track views of ActiveRecord objects in Rails
Ruby
2
star
17

pubtex-action

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

blurry.js

Blurry image loading with StackBlur
JavaScript
2
star
19

sandboxy

Virtual data-oriented environments for Rails
Ruby
2
star
20

tip-the-world-cup

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

graph-algorithms-and-optimization

TeX
1
star
22

transductive-active-learning

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

teaching-dwt-rev

Discrete Probability Theory revision course
TeX
1
star
24

learning-halfspaces-with-massart-noise

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

mozaic

An opinionated layout engine for Rails
Ruby
1
star
26

myg

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

r404

Error handler & renderer for Rails
Ruby
1
star
28

vscode-cyp

VS Code syntax highlighting for cyp
1
star
29

material-components-web

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

lovasz-local-lemma-deterministic-algorithms

Talk on Deterministic Algorithms for the Lovász Local Lemma
TeX
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