|
|
C++ |
2 |
GDSC EWHA's Problem Solving Study Repository |
Apr 12, 2023 |
|
|
Python |
3 |
3rd Cotato Club Python Study Problem Repository |
Jul 29, 2022 |
|
|
Java |
4 |
Algorithm Problem Solving Study |
Jan 26, 2022 |
|
|
Python |
2 |
SELF study for Algorithm Problem Solving |
Feb 01, 2023 |
|
|
C++ |
2 |
2020 새출발 알고리즘/Problem Solving 스터디! |
Jan 11, 2021 |
|
|
HTML |
4 |
Rock on Coq for the Problem Solving Class at Nanjing University |
Jan 28, 2022 |
|
|
HTML |
2 |
Summer 2020 SMaRT grant repository |
Jul 07, 2020 |
|
|
HTML |
19 |
Web-site for the 2020 CRUK CC Bioinformatics Summer School (Held virtually) |
Feb 09, 2023 |
|
|
Python |
14 |
Repository for SAiDL Summer Assignment 2020 |
Mar 03, 2022 |
|
|
Jupyter Notebook |
4 |
Case Study course for DS studies in Summer 2020/21 |
May 28, 2021 |
|
|
Jupyter Notebook |
11 |
Case Study course for DS studies in Summer 2020/2021 |
Oct 31, 2021 |
|
|
Jupyter Notebook |
2 |
Repository for summer 2020 REU at UCLA |
May 24, 2021 |
|
|
C++ |
6 |
Repository for Competitive Programming and Problem Solving |
Aug 01, 2022 |
|
|
Python |
2 |
Holmes: Hint of Aligned-condition enhances Mathematical Problem Solving by Large Language Model |
May 28, 2023 |
|
|
Jupyter Notebook |
13 |
Public facing repository for Data 100 Summer 2020 |
Mar 07, 2023 |
|
|
Java |
2 |
📚 Java Concepts and Problem-Solving Repository 🚀 |
Aug 15, 2023 |
|
|
Ruby |
2 |
My repository code for solving problem on HackerRank, Daily Code Problem, Project Euler, etc |
Jan 20, 2023 |
|
|
Python |
2 |
Code reference repository for my image processing workshop held in October 2020 |
Mar 08, 2023 |
|
|
Jupyter Notebook |
6 |
Repository for material from the 2020 MC/MD Summer Workshop |
Apr 22, 2023 |
|
|
Jupyter Notebook |
9 |
Repository for Machine Learning for Physicist 2020 summer training program |
May 12, 2023 |
|
|
C++ |
4 |
This repository is for Problem solving in online judge site |
Jun 27, 2022 |
|
|
Python |
2 |
:golf: A repository for problem solving with test cases :test_tube: |
Apr 01, 2023 |
|
|
Python |
2 |
This is repository for my learning on problem solving seriously |
Jan 05, 2024 |
|
|
C++ |
3 |
(lang: CN) Summer study of Cyberspace Security Major of grade 2020 in Shanghai University |
Feb 17, 2022 |
|
|
Vue |
8 |
Repository für das Sybit Coding-Camp 2020: Sei ein Held, rette die Welt |
Jan 27, 2023 |
|
|
Jupyter Notebook |
7 |
This repository contains code materials for the JETSCAPE Summer School 2020 |
Sep 06, 2022 |
|
|
C++ |
11 |
this repository is for the learning purpose and problem solving purpose |
Nov 03, 2022 |
|
|
C++ |
31 |
The repository of problem solving (especially algorithm problems of computer science) |
May 05, 2023 |
|
|
C |
2 |
This is a repository for GDG SSU 2013 Summer vacation C Study |
May 27, 2015 |
|
|
Python |
184 |
[ECCV 2020] Self-Supervised Monocular Depth Estimation: Solving the Dynamic Object Problem by Semantic Guidance |
Apr 14, 2023 |
|
|
Coq |
3 |
Conversion from System T to continuation-passing style (CPS) |
Jan 06, 2018 |
|
|
Coq |
4 |
None |
Feb 03, 2022 |
|
|
Coq |
4 |
None |
Sep 07, 2021 |
|
|
Coq |
4 |
Using VexRiscv without installing Scala |
Dec 10, 2020 |
|
|
Coq |
4 |
linear algebra done right in coq |
Oct 04, 2021 |
|
|
Coq |
4 |
Coq code demonstrating a method for representing and reasoning about idealized cryptographic hashing functions |
Jul 06, 2020 |
|
|
Coq |
4 |
Experiments with an extensible refinement framework |
Oct 10, 2019 |
|
|
Coq |
4 |
None |
Mar 03, 2021 |
|
|
Coq |
4 |
A formalization of IO automata in the Coq proof assistant |
Jun 09, 2021 |
|
|
Coq |
4 |
A Coq framework to support structural design and proof of hardware cache-coherence protocols |
Jun 05, 2022 |
|
|
Coq |
4 |
Using Coq to derive network configurations from declarative policies |
Dec 16, 2021 |
|
|
Coq |
4 |
A Coq library for verifying dependencies of stencil implementations |
Apr 14, 2020 |
|
|
Coq |
4 |
A tutorial on the ott tool for presenting type theory |
Oct 06, 2020 |
|
|
Coq |
4 |
None |
Aug 13, 2020 |
|
|
Coq |
4 |
Typeclasses, datatypes and theorems for functional programming in Coq. |
May 02, 2020 |
|
|
Coq |
4 |
Some Coq formalizations of Linear Logic |
Feb 05, 2022 |
|
|
Coq |
4 |
None |
Dec 29, 2021 |
|
|
Coq |
4 |
None |
Jan 12, 2019 |
|
|
Coq |
5 |
A formally verified generational garbage collector. |
Feb 15, 2022 |
|
|
Coq |
5 |
Lambda 作品集 |
Apr 22, 2022 |