courses-at-nju-by-hfwei/problem-solving-class-coq courses-at-nju-by-hfwei/problem-solving-class-coq

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    HTML
  • License
    MIT License
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
courses-at-nju-by-hfwei/problem-solving-class-coq
github

courses-at-nju-by-hfwei

Reviews

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

Repository Details

Rock on Coq for the Problem Solving Class at Nanjing University

More Repositories

1

compilers-lectures

Lectures for the class on [email protected]
TeX
180
star
2

compilers-resources

Resources on Compilers
HTML
46
star
3

algorithm-ta-tutorial

Tutorials given as one of the TAs for the class "Algorithm Design and Analysis" at Nanjing University
TeX
37
star
4

compilers-problem-set

Problem Set for Course [email protected]
TeX
35
star
5

cpl-resources

Resources on the C Programming Language @ software.nju.edu.cn
C
31
star
6

problem-solving-class-lectures

Lectures for the "Problem Solving" Class at Nanjing University.
TeX
26
star
7

compilers-papers-we-love

Papers We Love on Compilers
23
star
8

cpl-docs

Docs on CPL (Lectures on CPL at software.nju.edu.cn)
22
star
9

discrete-math-lectures

Lectures on Discrete Mathematics @ software.nju.edu.cn
TeX
21
star
10

kaleidoscope-in-java

LLVM Tutorial on the Kaleidoscope Language in Java
Java
16
star
11

problem-solving-class-problems

Problem Sets for Problem Solving Class
TeX
14
star
12

cpl-lectures

Lectures on the C Programming Language https://courses-at-nju-by-hfwei.github.io/cpl-lectures/
HTML
13
star
13

2022-cpl-coding-1

2022 CPL Coding for Class 1
C
11
star
14

learning-c

Learning C Programming Language
Makefile
10
star
15

2022-compilers-coding-0

Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn
Java
10
star
16

2023-cpl-coding-2

2023 CPL Coding for Class 2
C
9
star
17

2024-compilers-coding

Coding in 2024-Compilers Class
Java
8
star
18

discrete-math-problem-sets

Problem Sets for Discrete Mathematics @ software.nju.edu.cn
TeX
7
star
19

2022-cpl-coding-2

2022 CPL Coding for Class 2
C
7
star
20

2022-compilers-coding

Coding for the 2022-Compilers Course
Java
7
star
21

2023-cpl-coding-1

2023 CPL Coding for Class 1
C
6
star
22

cpl-coding-2

C-PL-Coding Class 2
C
6
star
23

cpl-coding-0

Coding @ cpl.icu
C
5
star
24

2023-cpl-coding-0

2023 CPL Coding
PostScript
5
star
25

problem-solving-class-programming-tutorial

Programming Tutorial for the Problem Solving Class at NJU (Nanjing University)-CS.
TeX
4
star
26

cpl-problems

Problems for CPL (OJ and Projects)
C
4
star
27

learning-qt

Learning Qt (Qt-5)
QMake
3
star
28

problem-solving-class-paperswelove

Papers We Love at the Problem Solving Class
3
star
29

problem-solving-class-tutorial

Tutorial on the Problem Solving Class at Nanjing University
TeX
3
star
30

2023-compilers-coding-0

2023-compilers-coding
Java
3
star
31

cpl-coding-1

CPL-Coding Class 1
C
2
star
32

discrete-math-resources

Resources about Discrete Mathematics @ software.nju.edu.cn
2
star
33

learning-llvm

Learning LLVM
LLVM
2
star
34

problem-solving-class-problem-solution

Problem Solution for the Problem Solving Class at Nanjing University
TeX
2
star
35

learning-cplusplus

Learning C++ Programming Language
Makefile
2
star
36

2023-compilers-coding

2023-compilers-coding
Java
2
star
37

cpl-out-of-class

Extracurricular CPL Course
C
1
star
38

compilers-pseudocode

A Collection of Pseudocode for Compilers Design
TeX
1
star
39

discrete-math-book

TeX
1
star
40

compilers-tutorials

Tutorials for class Compilers at software.nju.edu.cn
1
star
41

compilers-lab-docs

Docs on Compilers Labs
1
star
42

learning-racket-lang

Learning the Racket Programming Language
Racket
1
star
43

problem-solving-treasure-hunt

The after-class "Treasure Hunting" section in the Problem Solving Class at Nanjing University
TeX
1
star
44

2024-compilers-coding-0

Code Prepared for 2024-Compilers
Java
1
star
45

problem-solving-class-intro-to-cpp

A concise introduction to C++. Writen for people who already familiar with C. It'll cover materials needed for Problem Solving I OJ.
TeX
1
star