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

Systems design is the process of defining the architecture, modules, interfaces, and data for a system to satisfy specified requirements. Systems design could be seen as the application of systems …

machine learning and deep learning tutorials, articles and other resources

There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…

unimpaired.vim: Pairs of handy bracket mappings

Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.

Virtual Machine for analog with the open source Sky130A PDK

Rocket Chip Generator

Kani Rust Verifier

UCLID5: formal modeling, verification, and synthesis of computational systems

Agenium Scale vectorization library for CPUs and GPUs

A programming language that's wise beyond its bytes!🌱🌿🪴

A new markup-based typesetting system that is powerful and easy to learn.