GitHub - VitalyAnkh/learn: Codes I wrote to learn something.

Crappy code I play with when I’m learning things.

Name		Name	Last commit message	Last commit date
Latest commit History 329 Commits
.ipynb_checkpoints		.ipynb_checkpoints
Agda		Agda
Android		Android
Assembly		Assembly
Bash		Bash
Books/csapp		Books/csapp
C++		C++
C		C
Compiler		Compiler
Coq		Coq
Courses/TimeSeriesAnalysis		Courses/TimeSeriesAnalysis
Dart/Play		Dart/Play
Digital_System		Digital_System
Docker		Docker
Elisp		Elisp
Emacs/greeting		Emacs/greeting
Flutter/learn_flutter		Flutter/learn_flutter
Fortran		Fortran
Go		Go
Graphics/glad		Graphics/glad
Haskell		Haskell
Idris		Idris
Java		Java
JavaScript		JavaScript
Kotlin		Kotlin
Lean3		Lean3
Lean4		Lean4
MPS		MPS
MiniZinc		MiniZinc
Nix		Nix
Notebook		Notebook
OCaml		OCaml
OS		OS
PlayGround		PlayGround
Practise		Practise
Problems		Problems
Python		Python
Racket		Racket
Rust		Rust
SML		SML
SQL		SQL
Sage		Sage
Scala		Scala
Shell		Shell
Statistics		Statistics
Verilog		Verilog
Vivado/opening_project		Vivado/opening_project
Wasm/wasm-game-of-life		Wasm/wasm-game-of-life
Web		Web
Workspace		Workspace
Writing		Writing
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
README.org		README.org
Roadmap.adoc		Roadmap.adoc
compile_and_use_source_code_of_apue_3rd_edition.md		compile_and_use_source_code_of_apue_3rd_edition.md
justfile		justfile
sage_math_play.ipynb		sage_math_play.ipynb

VitalyAnkh/learn