OTIS course management system
☆46Jun 9, 2026Updated this week
Alternatives and similar repositories for otis-web
Users that are interested in otis-web are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An online math contest platform☆21Jun 5, 2026Updated last week
- MIT 18.02 lecture notes on multivar☆30Jun 2, 2026Updated last week
- Dot files for Evan Chen (Arch Linux on i3)☆135Updated this week
- Automated generation of planar geometry olympiad problems☆107May 3, 2026Updated last month
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Olympiad GeoGuessr☆18May 30, 2026Updated last week
- Portfolio website template☆11Sep 2, 2021Updated 4 years ago
- Novelty MiniGrid--NovGrid--is an extension of MiniGrid environment that allows for the world properties and dynamics to change according …☆35May 21, 2024Updated 2 years ago
- Fetch API bindings for AssemblyScript☆13Aug 10, 2023Updated 2 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- simple, self-contained, relocatable emacs☆18Mar 16, 2010Updated 16 years ago
- A gate level simulator and gate level netlist standard specification in Cairo☆17Feb 15, 2022Updated 4 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆59Jan 15, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A framework for implementing equivariant DL☆10May 25, 2021Updated 5 years ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Zsh: Vim-style increment/decrement in vicmd, visual keymaps☆11Jan 19, 2022Updated 4 years ago
- ☆14Sep 10, 2023Updated 2 years ago
- Performant, composable online learning☆16Feb 22, 2021Updated 5 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 3 years ago
- Gym wrapper for pysc2☆10Sep 16, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Rust tools for working with UEFI SBAT☆19May 29, 2026Updated 2 weeks ago
- Code formatter for cohost☆16May 7, 2024Updated 2 years ago
- A personal collection of functions, macros and programs written in Common Lisp☆15Mar 12, 2019Updated 7 years ago
- Layerwise Relevance Visualization in Convolutional Text Graph Classifiers☆11Jun 2, 2021Updated 5 years ago
- Code for interacting with longrunning processes from inside Org Mode☆14Dec 8, 2020Updated 5 years ago
- Very Simple and Basic Implementation of Compositional Pattern Producing Network in TensorFlow☆11Nov 27, 2019Updated 6 years ago
- A collection of fun and interesting data sets for games, storytelling, or bots☆14Nov 16, 2024Updated last year
- ☆12Apr 3, 2026Updated 2 months ago
- ☆22Oct 11, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ACPI Shutdown Hack in 512 bytes of Assembly☆11Jun 20, 2021Updated 4 years ago
- The famous merge strategy☆15Feb 15, 2017Updated 9 years ago
- ☆13Aug 17, 2020Updated 5 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- A compilation of BQN solutions to various coding challenges.☆12Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 8 months ago
- Type safe Java Reflection☆11Apr 4, 2023Updated 3 years ago