Proceedings of the annual intercalary robot dance party in celebration of workshop on symposium about 2^6th birthdays; in particular, that of Harry Q. Bovik
☆13Mar 20, 2021Updated 5 years ago
Alternatives and similar repositories for sigbovik
Users that are interested in sigbovik are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- When will the next leap second happen?☆12Mar 15, 2026Updated last week
- COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit☆10Mar 30, 2018Updated 7 years ago
- ☆11Sep 22, 2018Updated 7 years ago
- Unofficial beamer template for Pitt (University of Pittsburgh)☆11Mar 11, 2017Updated 9 years ago
- A web instrument that allows you to make music by tending to a virtual garden☆25Apr 26, 2021Updated 4 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- Drop-in replacement for Python datetime which deeply cares about timezones.☆34Oct 19, 2023Updated 2 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- Flask backend for the Pitt Quantum Repository website☆16Apr 16, 2023Updated 2 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- a tiny quirky library with some bezier curve functions☆17Mar 6, 2025Updated last year
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 8 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 8 years ago
- Sandboxed build environment for opam projects☆13Mar 2, 2016Updated 10 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- ☆23Jul 15, 2014Updated 11 years ago
- The Spring Carnival managment application built for Carnegie Mellon Spring Carnival.☆17Mar 13, 2026Updated last week
- Javascript version of Textorizer☆18Jul 13, 2024Updated last year
- Proceedings of the annual intercalary robot dance party in celebration of workshop on symposium about 2^6th birthdays; in particular, tha…☆20Jan 14, 2025Updated last year
- Carnegie Mellon Activities Board Technical Committee Tracker☆22Mar 16, 2026Updated last week
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆14May 15, 2017Updated 8 years ago
- Guide to build and use Tensorflow XLA/AOT on Windows☆13Dec 26, 2018Updated 7 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- A dependent type theory with user defined data types☆47Oct 1, 2021Updated 4 years ago
- Simple permission checker for Nette Framework (2.4+)☆13Apr 12, 2019Updated 6 years ago
- An application creating short procedural stories☆11Mar 14, 2013Updated 13 years ago
- XDebug Trace panel for Nette 2.0 framework☆14Nov 3, 2014Updated 11 years ago
- Template repository of a machine-learning Python project powered by FastAPI and PyTorch☆14Aug 26, 2021Updated 4 years ago
- Render, select coordinates, export to video and more.☆13Apr 28, 2024Updated last year
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- Python utilities for LED name badge☆16Mar 31, 2012Updated 13 years ago
- Sentiment analysis app that runs on web using TensorFlowJS and React and on IOS using CoreML and React Native☆12Jun 24, 2018Updated 7 years ago
- A repo for books by L. V. Tarasov☆13May 27, 2015Updated 10 years ago
- An API that lets you fetch user lists from MyAnimeList.☆14Oct 7, 2018Updated 7 years ago
- A step-by-step MicroKanren evaluator☆29Nov 22, 2016Updated 9 years ago
- Shibboleth plugin for WordPress☆23Feb 28, 2026Updated 3 weeks ago
- Agda formalization of Intuitionistic Propositional Logic☆22Nov 14, 2025Updated 4 months ago
- nPress - an opensource cms on Nette framework☆23Feb 7, 2026Updated last month
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 years ago