• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    C
  • License
    Other
  • Created over 9 years ago
  • Updated almost 9 years ago

Reviews

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

Repository Details

A proof assistant.

More Repositories

1

darknet

Convolutional Neural Networks
C
25,670
star
2

vision-hw0

The 0th homework for computer vision.
C
149
star
3

dl-hw0

Deep Learning Homework 0
C
85
star
4

mnist-csv-png

Conversion for the MNIST dataset to CSV and PNG
Python
84
star
5

vision-hw2

Stitch together some panoramas!
C
60
star
6

vision-hw3

Optical flow
C
43
star
7

prezsim

2020 Presidential Election Simulation
Python
41
star
8

vision-hw1

C
39
star
9

NeHe-Tutorials-Using-GLFW

NeHe Tutorials using GLFW for windowing.
C
34
star
10

vision-hw4

Implement neural networks and run them on MNIST
C
30
star
11

yolo-paper

TeX
29
star
12

uwimg

C
26
star
13

uwnet

C
25
star
14

template

Template C project
C
23
star
15

detection-paper

TeX
22
star
16

RayTracer

C++
20
star
17

dl-hw2

Deep Learning Homework 2
C
19
star
18

dl-hw1

Deep Learning Homework 1
C
19
star
19

rl-hw

Jupyter Notebook
18
star
20

pjreddie.com

My website!
CSS
12
star
21

City

A city
Objective-C
11
star
22

jcr

Joe's Data Structures Library (JDL)
C
11
star
23

dubnet

C
10
star
24

kucb.org

Unalaska Community Broadcasting's Website
Python
9
star
25

jmlbot

Joe's Machine Learning Bag o' Tricks
C
8
star
26

WRed

Web application for data reduction
JavaScript
7
star
27

Logistic-SGD

Python
6
star
28

C4.5-Homework

Python
6
star
29

msp430-accel

C
4
star
30

darkcaptcha

Python
4
star
31

tenswords

C
4
star
32

msp430g2452-hello-world

I'll I wanted to do was print some stuff, is that so much to ask??
Assembly
3
star
33

DeepFoot

Have you seen that part of Apollo 13 where they take the Command Module's square carbon dioxide scrubber cartridges and jury-rig them to fit in the Lunar Module's round sockets? This is sort of like that.
MATLAB
3
star
34

.dotfiles

Vim Script
3
star
35

wordle

C
3
star
36

Space-Party

Java
2
star
37

Interview-Challenge

Interview Challenge
Python
2
star
38

opencl_memory_leak

Demonstration of memory leak in clCreateSubBuffer
C
2
star
39

Pokemon-Heart

JavaScript
1
star