OTIS course management system
☆46Jun 29, 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:
- Olympiad problem database☆58Jun 2, 2026Updated last month
- Source files for https://web.evanchen.cc☆66Jun 22, 2026Updated last week
- MIT 18.02 lecture notes on multivar☆30Jun 23, 2026Updated last week
- Automated generation of planar geometry olympiad problems☆108May 3, 2026Updated last month
- A simple drawing tool that can convert diagrams into Asymptote code.☆21Feb 17, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆13Jul 4, 2020Updated 5 years ago
- A tool for creating, storing, and sharing customizable lists composed of markdown elements written in Poseidon.☆11Mar 10, 2022Updated 4 years ago
- Simple fuse demo filesystem☆28Jan 14, 2021Updated 5 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
- A framework for implementing equivariant DL☆10May 25, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Database for International Physics Olympiads☆11Sep 22, 2025Updated 9 months ago
- Zsh: Vim-style increment/decrement in vicmd, visual keymaps☆11Jan 19, 2022Updated 4 years ago
- Performant, composable online learning☆16Feb 22, 2021Updated 5 years ago
- Private treasuries enabled by ECDH and ZKPs☆18Mar 31, 2023Updated 3 years ago
- A cute little Bash library for blazing fast argument parsing☆11Apr 2, 2026Updated 3 months ago
- Gym wrapper for pysc2☆10Sep 16, 2022Updated 3 years ago
- ☆12Mar 3, 2022Updated 4 years ago
- Rust tools for working with UEFI SBAT☆19May 29, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A personal collection of functions, macros and programs written in Common Lisp☆15Mar 12, 2019Updated 7 years ago
- ☆14Jan 2, 2021Updated 5 years ago
- A WIP Go library for connecting to and getting data from (Braun) Oral-B Bluetooth enabled electric toothbrushes.☆14Apr 18, 2025Updated last year
- 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
- ☆12Apr 3, 2026Updated 2 months ago
- Unofficial Experiments with AlgebraNets☆17Jun 17, 2020Updated 6 years ago
- ☆11Feb 26, 2026Updated 4 months ago
- ☆22Oct 11, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Aug 17, 2020Updated 5 years ago
- textual tactics game☆10Sep 3, 2022Updated 3 years ago
- Open-source number theory textbook☆67Aug 5, 2024Updated last year
- 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.☆12Jun 15, 2026Updated 2 weeks ago
- A JAX implementation of stochastic addition.☆14Aug 15, 2022Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 9 months ago