coolofficials Goto Github PK

2021s-cs420

KAIST 2021S-CS420 Compiler Design Project

async-std

Async version of the Rust standard library

blog_os

practice for blog_os (https://os.phil-opp.com/): simple OS structuring by RUST

brew-pkgs

List of useful Homebrew packages for macOS

cgal

The public CGAL repository, see the README below

coding-interview-university

A complete computer science study plan to become a software engineer.

configs

configs for git, bash, etc.

coq-tactician

A Seamless, Interactive Tactic Learner and Prover for Coq

coqgym

A Learning Environment for Theorem Proving with the Coq proof assistant

fog-of-war

Fog of War Chess simulator using Rust with some reinforcement learning

gcurve2d

gitignore

A collection of useful .gitignore templates

hafnium-verification

hci_readit

helpdesk

infra-public

interview_question_for_beginner

:boy: :girl: Technical-Interview guidelines written for those who started studying programming. I wish you all the best. :space_invader:

java-baseball-enterprise

java-lotto-kakao

java-racingcar-kakao

jwp-was-kakao

kaist-cp.github.io

linux

Linux kernel source tree

lostsealing

Calculating Minimum cost for desired Sealing for LostArk

lotto-python-tdd

Python TDD practice: lotto

onboarding-for-beginners

A step-by-step onboarding plans and related materials for beginners

python-architecture

Example application code for the python architecture book

python_practice

practicing python

reactive-stock-trader-scala

My implementation of reactive stock-trader system in Scala, following this tutorial written in Java. https://developer.ibm.com/series/reactive-in-practice/

rust-lang-book-ko

The Rust Programming Language