Introduction to the Theory of Computation
☆10May 21, 2017Updated 9 years ago
Alternatives and similar repositories for itoc
Users that are interested in itoc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 7 years ago
- A comparison of some conformal quantile regression methods.☆12Sep 14, 2019Updated 7 years ago
- A Controllable Model of Grounded Response Generation (AAAI 21)☆13Oct 25, 2022Updated 3 years ago
- IBM Platform-Independent Software Analysis☆15Mar 12, 2018Updated 8 years ago
- A Haskell Tutorial about parsing Satellite Telemetry☆13Nov 20, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- NeurIPS paper 'Censored Quantile Regression Neural Networks for Distribution-Free Survival Analysis'☆13Oct 28, 2022Updated 3 years ago
- ☆11Jan 4, 2022Updated 4 years ago
- A code base for Vexless☆17Mar 7, 2024Updated 2 years ago
- My personal machine learning algorithms repository, implemented in C++.☆10Mar 24, 2016Updated 10 years ago
- ☆13Sep 5, 2024Updated 2 years ago
- Guidelines for our secondary layer of annotation adding multi-sentence AMR links☆12Sep 6, 2017Updated 9 years ago
- Bank Management System - Written In C☆11Jan 3, 2025Updated last year
- ☆13Oct 4, 2022Updated 4 years ago
- ☆11Jun 23, 2022Updated 4 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.
- Game in Haskell☆17Oct 6, 2026Updated last week
- ☆13Jun 13, 2022Updated 4 years ago
- Song recommendations for your current mood☆14Jul 26, 2018Updated 8 years ago
- ☆14May 26, 2021Updated 5 years ago
- A Haskell implementation of Peter Norvig's spelling corrector☆15Jun 5, 2015Updated 11 years ago
- 北航编译原理 2020 课设 / BUAA Compiler 2020 / Naive speedrun useless compiler☆13Oct 23, 2022Updated 3 years ago
- Multi-GPU supported kmeans clustering for cluser-clip☆15Jun 3, 2024Updated 2 years ago
- A toy OS for learning purposes.☆12Feb 29, 2024Updated 2 years ago
- Experiments for "Automatic Calibration and Error Correction for Large Language Models via Pareto Optimal Self-Supervision"☆14Aug 4, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆23Mar 6, 2025Updated last year
- Implementation for ``A Point Set Generation Network for 3D Object Reconstruction from a Single Image''☆17Apr 24, 2020Updated 6 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 10 months ago
- A parametric Ambisonic decoder for headphones, based on the Cross-Pattern Coherence (CroPaC) spatial filter☆23Jan 24, 2026Updated 8 months ago
- ☆23Oct 3, 2023Updated 3 years ago
- ☆22Jul 30, 2024Updated 2 years ago
- BASAR:Black-box Attack on Skeletal Action Recognition, CVPR 2021☆19Feb 18, 2025Updated last year
- ☆18Apr 22, 2026Updated 5 months ago
- Article: GPU-accelerated Proximity Graph Approximate Nearest Neighbor Search and Construction by Authors Yuanhang Yu, Dong Wen, Ying Zhan…☆24Jun 20, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Easily typeset kanbun-kundoku (漢文訓読) with (Lua)LaTeX☆20Mar 17, 2025Updated last year
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Nov 22, 2022Updated 3 years ago
- Awesome OCaml Gamedev☆18Aug 6, 2022Updated 4 years ago
- A CHIP8 emulator written in OCaml☆26Mar 4, 2022Updated 4 years ago
- Repository for Computer Architecture Class at UC Berkeley☆10Nov 25, 2019Updated 6 years ago
- Notes & Code from my "High Performance Computing with C" Course☆15Jul 13, 2018Updated 8 years ago
- ☆15Oct 9, 2021Updated 5 years ago