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.
First Timers Only
First Timers Only is a resource page for people new to open source. It recommends tools such as First contributions, up-for-grabs.net, goodfirstissue.dev and CodeTriage, and links to contribution guides. It states that friendly open source projects should reserve specific issues for newcomers and encourages projects to publish a Code of Conduct.
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.
-
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.
-
0Telegram link is a Telegram channel, group, or bot link for updates, files, community posts, or support.
-
0A free interactive Perl tutorial for people who want to learn the Perl programming language quickly. It has no downloads; users click a chapter and follow the instructions. Chapters cover topics such as Hello World, variables and types, scalars, arrays, hashes, conditional decisions, loops, operators, references, subroutines and regular expressions.
-
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