Supplementary code for Introduction to Theoretical Computer Science book.
☆69Nov 29, 2023Updated 2 years ago
Alternatives and similar repositories for tcscode
Users that are interested in tcscode are comparing it to the libraries listed below
Sorting:
- Advanced-Programming☆25Jun 18, 2024Updated last year
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆12Nov 18, 2017Updated 8 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Feb 20, 2021Updated 5 years ago
- Here be dragons☆17Feb 23, 2026Updated last week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- Presentations about R1CS☆19May 1, 2019Updated 6 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆22Jun 5, 2023Updated 2 years ago
- IYPT Projects for Capa Science High School Students☆34Oct 30, 2017Updated 8 years ago
- Simple implementation of NVMe Linux usermode driver☆22Feb 1, 2018Updated 8 years ago
- This repository contains material for classroom activities using open data from CMS CERN. Materials include basic introduction to Python …☆23Oct 12, 2018Updated 7 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- ☆28Jan 12, 2026Updated last month
- Main/top level repository for ICARUS specific code☆12Feb 26, 2026Updated last week
- ☆30Dec 12, 2021Updated 4 years ago
- C port of the Rust symbol demangler (rustc-demangle)☆45Oct 6, 2023Updated 2 years ago
- White-box analytic framework based on LLVM☆39Jun 10, 2019Updated 6 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆34Feb 26, 2026Updated last week
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- FortranCL: a Fortran 90 interface for OpenCL☆11Jun 27, 2024Updated last year
- 7zx is a small C library to extract, test and list 7z / 7zip archives☆10Feb 11, 2023Updated 3 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- LaTeX style files for creating documents in the Open University unit style☆11Feb 4, 2025Updated last year
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Userland apps for Tock written in C and C++☆88Feb 18, 2026Updated 2 weeks ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆42Oct 8, 2020Updated 5 years ago
- ARCHIVED - Materials for running a Team-Based Inquiry Learning linear algebra course☆10Jul 30, 2024Updated last year
- FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.☆13Updated this week
- ☆13Mar 4, 2017Updated 9 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- A powerful Rust SDK for real-time listening and parsing Fourmeme contract events on BSC, with automatic tracking of token lifecycle from …☆52Oct 9, 2025Updated 4 months ago
- ☆12Dec 15, 2025Updated 2 months ago
- Plan It, Say It, Nail It: Mastering Difficult Conversations☆11Aug 11, 2019Updated 6 years ago
- My Privoxy configuration files☆27Apr 15, 2012Updated 13 years ago
- R for UX Research☆20Jan 27, 2025Updated last year
- Sync some source controlled markdown to getoutline.com docs, with diagram support!☆13Apr 26, 2023Updated 2 years ago
- Data files and scripts for the ASU PHY494 class. Will be updated as we go along.☆10Jan 6, 2022Updated 4 years ago
- Shell script manager for remote/local/container invocations in a <3MiB statically-linked executable.☆17Sep 7, 2025Updated 6 months ago