marsmxm
Follow
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedFeb 21, 2025 -
public-student-support-code Public
Forked from IUCompilerCourse/public-student-support-codePublic helper code for p423/p523 students
Racket MIT License UpdatedFeb 20, 2025 -
Essentials-of-Compilation Public
Forked from IUCompilerCourse/Essentials-of-CompilationA book about compiling Racket to x86-64 assembly
TeX UpdatedFeb 20, 2025 -
handson-ml3 Public
Forked from ageron/handson-ml3A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.
Jupyter Notebook Apache License 2.0 UpdatedFeb 6, 2025 -
-
notes Public
Forked from texmacs/notesNotes about TeXmacs
Tcl GNU General Public License v3.0 UpdatedJan 4, 2025 -
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedOct 17, 2024 -
-
servo Public
Forked from servo/servoThe Servo Browser Engine
Rust Mozilla Public License 2.0 UpdatedJul 4, 2024 -
langchain Public
Forked from langchain-ai/langchain⚡ Building applications with LLMs through composability ⚡
Python MIT License UpdatedJul 3, 2024 -
-
Dash-User-Contributions Public
Forked from Kapeli/Dash-User-ContributionsDash repo of user contributed docsets
Python UpdatedApr 5, 2024 -
notebook Public
Forked from jupyter/notebookJupyter Interactive Notebook
Jupyter Notebook BSD 3-Clause "New" or "Revised" License UpdatedDec 22, 2023 -
qaul.net Public
Forked from qaul/qaul.netInternet Independent Wireless Mesh Communication App
Dart GNU Affero General Public License v3.0 UpdatedOct 1, 2023 -
linnstrument-firmware Public
Forked from rogerlinndesign/linnstrument-firmwareThe firmware of LinnStrument, an Open Revolutionary Expressive Musical Performance Controller
C++ Other UpdatedSep 21, 2023 -
-
Meadowlark Public
Forked from MeadowlarkDAW/MeadowlarkA (currently incomplete) open-source Digital Audio Workstation
GNU General Public License v3.0 UpdatedJun 22, 2023 -
-
-
-
pysonar2 Public
Forked from yinwang0/pysonar2PySonar2: a semantic indexer for Python with interprocedual type inference
Java Apache License 2.0 UpdatedMay 20, 2022 -
blockprotocol Public
Forked from blockprotocol/blockprotocolThe open block protocol Þ
TypeScript MIT License UpdatedFeb 18, 2022 -
galagosearch Public
Galago search engines book version. Cloned from https://code.google.com/archive/p/galagosearch/ .
-
-
yscheme Public
Forked from tiancaiamao/yschemea compiler from a subset of Scheme into X64
Scheme UpdatedOct 11, 2015 -
lightsabers Public
Forked from bao-qian/lightsabersThey contain so few lines of code, yet so few people get them right.
Scheme UpdatedFeb 11, 2014