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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Jupyter notebooks with some NAND code☆19Dec 4, 2018Updated 7 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Deterministic And Verifiable Randomness On Schnorr signatures☆12Nov 18, 2017Updated 8 years ago
- Material on Machine Learning methods applied to Physics analysis, with an emphasis on Regression and Deep Learning Methods. https://comp…☆20May 4, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆41Jan 7, 2024Updated 2 years ago
- 📚 MIT Manipal Data Science Engineering: Your go-to resource hub for lab study materials, code, and more. Enhance your learning with this…☆11Sep 3, 2024Updated last year
- FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.☆14Mar 10, 2026Updated last month
- Flexibly construct and implement attacks on Learning Parity with Noise☆11Sep 26, 2023Updated 2 years ago
- How to use nbstripout☆12Mar 16, 2020Updated 6 years ago
- Code repository for SNARF☆13Apr 27, 2023Updated 2 years ago
- Docker container for an OCaml + OPAM setup☆24Nov 28, 2016Updated 9 years ago
- Main/top level repository for ICARUS specific code☆12Updated this week
- Presentations about R1CS☆19May 1, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Slides from talks and other materials related to post-quantum crypto☆12Feb 20, 2021Updated 5 years ago
- Automatic multi-parameter design optimization for superconducting quantum devices☆16Updated this week
- Website for Particle Physics Domain (UCSD Capstone)☆12Oct 23, 2021Updated 4 years ago
- Here be dragons☆17Mar 12, 2026Updated last month
- The repository contains implementations of examples provided in the literature on energy minimization based approach to Physics Informed …☆11Apr 8, 2020Updated 6 years ago
- Modeling and Analysis of Superconducting Quantum Circuits☆13Feb 22, 2021Updated 5 years ago
- Repository for PHYS T480/580 (Big Data Physics: Methods of Machine Learning) at Drexel University, Fall 2018☆10Nov 28, 2018Updated 7 years ago
- bunch of korea stock history data☆11Jul 7, 2017Updated 8 years ago
- ☆12Apr 9, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- Tutorial collection for the FCC software☆15Feb 12, 2026Updated 2 months ago
- Physics-driven machine learning using PyTorch and Firedrake☆17Jan 31, 2024Updated 2 years ago
- ☆23Sep 22, 2021Updated 4 years ago
- ☆17Jan 18, 2021Updated 5 years ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆89Nov 21, 2025Updated 4 months ago
- ☆11Aug 1, 2024Updated last year
- ☆39Jul 30, 2025Updated 8 months ago
- BLS12-381 cryptography using Apache Milagro☆30Feb 2, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆28Jan 12, 2026Updated 3 months ago
- My humble attempt to use Python and the package EinsteinPy to derive the field equations for various metrics. For explicit examples that…☆10Jan 31, 2022Updated 4 years ago
- Analysis using reduced NanoAOD files created from CMS open data studying the decay of a Higgs boson into two tau leptons☆11Sep 3, 2024Updated last year
- ☆14Mar 26, 2026Updated 3 weeks ago
- Symbolic quantum simulation framework in Wolfram Language for quantum information systems, quantum many-body systems, and quantum spin sy…☆40Apr 7, 2026Updated last week
- ☆14Apr 1, 2026Updated 2 weeks ago
- Code and data for benchmarking post-quantum cryptography in TLS 1.3☆22Feb 10, 2021Updated 5 years ago