jlearnscode Goto Github PK

18.06sc-fall-2011-dl-only-

Not sure, seems like the download version of the course rather than self-notes

6-042j-mathematics-for-computer-science-spring-2015

6.042j-python

Code for 6.042j

algorithmcurriculum

A basic path to learning algorithms using online courses

anki

Anki's shared backend and web components, and the Qt frontend

atv-desktop-remote

A simple app to allow you to control an Apple TV from your desktop

auto-tab-discard

Use native tab discarding method to automatically reduce memory usage of inactive tabs

browser-techno-banger

Techno set to browser process activity. By vitling - The Endless Acid Banger

chktex

local version of chktex

chrome-extension-typescript-starter

Chrome Extension TypeScript Starter

clrs-python-implementation

Official Python code implementation of CLRS-4th-Edition

clrs4e-solutions

Solutions to exercises and problems from "Introduction to Algorithms", Fourth Edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein

cornell-cs3110-textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

cs61a-2022

CS 61A: Structure and Interpretation of Computer Programs, Fall 2022, UC Berkeley

danger-shell-text-expander-plugin

A bare-bones and opinionated proof-of-concept text expander utility for Obsidian

dangerous-shell-obsidian-text-expander

Text Expander plugin for Obsidian

datastructures

A Literate Program about Data Structures and Object-Oriented Programming

detexify-data

Instructions and license for Detexify's sample data

discrete-mathematics-mit-6.042-18.062j-mathematics-for-computer-science-

formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

latexjs

The tiny LaTeX toolchain that runs everywhere.

lean4-game-server

leanproof-math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

learningmaterial

:tada: Learning notes and experiments

marvelloussuspender

A chrome extension for suspending all tabs to free up memory, based on the original TGS 7.1.6, without tracking. Find more information about that on https://gioxx.org/tms

mathematics-for-computer-science-chinese-

记录学习MIT公开课Mathematics for Computer Science的过程

mathforcs

Going through the adventure of MIT 6.042J / 18.062J Mathematics for Computer Science

mathjax-src

MathJax source code for version 3 and beyond

mathlive

A web component for easy math input

mathlive-compute-engine

An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON