A research-oriented computer science curriculum centered on computational trinitarianism, where computation appears as logic, programs and categories. It covers programming with functional languages, discrete math formalized in Lean 4, algorithms and proof assistants.
Exercism
Exercism is a free, community-funded, not-for-profit platform for learning and practicing programming. It offers coding exercises across 84 language tracks, an in-browser editor, and automated analysis of solutions, alongside free human mentoring. Exercises can also be downloaded and submitted from the terminal with a CLI-first tool.
Links
Tags
-
0
A research-oriented computer science curriculum centered on computational trinitarianism, where computation appears as logic, programs and categories. It covers programming with functional languages, discrete math formalized in Lean 4, algorithms and proof assistants.
-
0Telegram link is a Telegram channel, group, or bot link for updates, files, community posts, or support.
-
0A Byte of Python is a free book that teaches programming using Python. It serves as a tutorial or guide to the language for a beginner audience. The book teaches Python 3, and references to Python 2 are included only for historical context and understanding legacy code.
-
0Interactive Git cheatsheet that categorizes commands based on what they affect. The page presents commands for the workspace, index, local repository and upstream repository, including status, diff, add, commit, checkout, reset, merge and rebase.
-
0TechSchool is a free and open-source platform for learning programming, covering topics such as Elixir, Python, Ruby, React, Node and Postgres. It states a mission of making technology education accessible for free and links a Discord community, GitHub and sponsorship options.
-
0A free Next.js course that teaches building a full-stack dashboard web application step by step. Across 15 chapters it covers styling, fonts and images, layouts, navigation, databases, data fetching, rendering, streaming, search and pagination, mutating data, errors, accessibility, authentication and metadata.
Community notes
Reviews and discussion
No reviews yet
Be the first to share how this project worked for you.
Join the discussion
Sign in with a verified account to leave a review or join the discussion.
Sign in to review