-
-
bbb-asm-demo Public
Forked from mvduin/bbb-asm-demoExtremely tiny baremetal application for BeagleBone Black
Assembly UpdatedJun 9, 2021 -
cc_cl_cam_ac_uk Public
Forked from Timothy-G-Griffin/cc_cl_cam_ac_ukOCaml code for Compiler Construction course at University of Cambridge
OCaml UpdatedJan 30, 2021 -
-
down-to-the-bone Public
Forked from auselen/down-to-the-boneBeagleBone Black examples
C GNU General Public License v2.0 UpdatedDec 20, 2021 -
-
fsharp-tapl Public
Forked from jack-pappas/fsharp-taplAccompanying code for "Types and Programming Languages", ported to F#
-
FunctionalProgramming Public
Forked from proglang/FunctionalProgrammingSupport repository for the functional programming lecture (Haskell)
TeX BSD 2-Clause "Simplified" License UpdatedMay 26, 2021 -
GoExpertProgramming Public
Forked from RainbowMango/GoExpertProgramming《Go专家编程》Go语言快速入门，轻松进阶！
Go UpdatedApr 23, 2021 -
intro_to_ros Public
Forked from SV-ROS/intro_to_rosRepository of packages and info for the SV-ROS Intro To ROS training series
Python UpdatedDec 25, 2020 -
IU-P423-P523-E313-E513-Fall-2020 Public
Forked from IUCompilerCourse/IU-P423-P523-E313-E513-Fall-2020Web page for IU Compiler Course for Fall 2020
Racket UpdatedDec 11, 2020 -
iub_2009_P523_framework Public
Forked from hgzhehe/iub_2009_P523_frameworkThis is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Keep and IUB faulty.I'll delete this repo immediately if there …
-
-
logical-foundations-2018 Public
Forked from kolya-vasiliev/logical-foundations-2018My solutions to exercises in "Logical Foundations" (2018-2019)
Coq UpdatedApr 11, 2019 -
OLMo Public
Forked from allenai/OLMoModeling, training, eval, and inference code for OLMo
Python Apache License 2.0 UpdatedFeb 24, 2024 -
-
P523-Rust Public
Forked from siriusdemon/P523-RustP523 Course in Rust
Rust MIT License UpdatedNov 30, 2021 -
-
programming-language-foundations-2018 Public
Forked from kolya-vasiliev/programming-language-foundations-2018My solutions to exercises in "Programming Language Foundations" (2018-2019)
Coq UpdatedApr 11, 2019 -
public-student-support-code Public
Forked from IUCompilerCourse/public-student-support-codePublic helper code for p423/p523 students (Racket)
Racket MIT License UpdatedJan 1, 2022 -
pyrealsense2-macosx Public
Forked from cansik/pyrealsense2-macosxPrebuilt pyrealsense2 packages for macOSX.
PowerShell MIT License UpdatedDec 6, 2022 -
python-student-support-code Public
Forked from IUCompilerCourse/python-student-support-codeSupport for for students (Python)
Python MIT License UpdatedDec 27, 2021 -
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
Python Other UpdatedFeb 23, 2017 -
SDE Public
Forked from AaltoML/SDEExample codes for the book Applied Stochastic Differential Equations
MATLAB MIT License UpdatedJul 14, 2021 -
sf-lf Public
Forked from zhengyao-lin/sf-lfSome exercises from software foundations: logical foundations
C 5E0F oq MIT License UpdatedSep 8, 2019 -
Software-Foundations-Solutions Public
Forked from fabriceleal/Software-Foundations-SolutionsCoq UpdatedJun 30, 2015 -
the-functional-approach-to-programming Public
Forked from mauny/the-functional-approach-to-programmingPrograms that are used in the Cousineau/Mauny books
OCaml GNU General Public License v2.0 UpdatedJun 22, 2021 -
the-little-schemer Public
Forked from pkrumins/the-little-schemerAll the Scheme code examples from the book "The Little Schemer"
Scheme UpdatedJul 24, 2016 -
verified-functional-algorithms-2019 Public
Forked from kolya-vasiliev/verified-functional-algorithms-2019My solutions to exercises in "Verified Functional Algorithms" (2019)
Coq UpdatedApr 11, 2019 -
vision Public
Forked from pytorch/visionDatasets, Transforms and Models specific to Computer Vision
Jupyter Notebook BSD 3-Clause "New" or "Revised" License UpdatedJul 24, 2017
😁