A collection of ML scripts to test the M1 Pro MacBook Pro

LIMO: Less is More for Reasoning

Apple Silicon Guide. Learn all about the A17 Pro, A16 Bionic, R1, M1-series, M2-series, and M3-series chips. Along with all the Devices, Operating Systems, Tools, Gaming, and Software that Apple Si…

Recitation notebooks for Extended Introduction to Computer Science with Python as Tel-Aviv University

OpenVINO™ is an open source toolkit for optimizing and deploying AI inference

symbolic EVM evaluator

Symbolic execution tool

macOS system monitor in your menu bar

resurrected LLVM "C Backend", with improvements

A valgrind mirror with latest macOS support

erdos szekeres convex polygon problem formalization in Isabelle

Virtual Satellite Core - Baseline Framework and IDE Tools

Companion webpage for the book "Bayesian Optimization" by Roman Garnett

A place to put our 2018 Xena project UROP thoughts and programs.

Simple samples for TensorRT programming

A curated list of previous asked Interview Question at Big Companies and Startups 🤲 🏆

builds a code correcting an arbitrary number of errors

A tool for synthesizing Verilog programs

C88 is Homebrew CPU that has a ram that is only 8x8 Bits in size. It'll fit on a papilio one 500k which has enough pins for all the switches you need too.

ACL2 System and Books as Maintained by the Community

Python package to autocomplete bibtex bibliographies

A project to map out the relations between different equational theories of Magmas.

Open Logic FPGA Standard Library

Google's Operations Research tools:

A tiny system built on a small QMTECH board