Android application for department navigation
☆44Oct 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for DepNav
Users that are interested in DepNav are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies☆18Sep 5, 2026Updated last month
- graphs-graphs-team-4 created by GitHub Classroom☆14May 30, 2025Updated last year
- CPS examples☆20Sep 7, 2025Updated last year
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆167Jan 24, 2025Updated last year
- Latex шаблон текста для квалификационных работ☆58Nov 20, 2025Updated 11 months 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.
- Шаблон презентации для квалификационных работ☆26Jun 24, 2024Updated 2 years ago
- ☆13Oct 18, 2026Updated 2 weeks ago
- ⏩ Переехали: https://sourcecraft.dev/miminet/miminet☆74Oct 26, 2026Updated last week
- 🔴 Kotlin Interview Questions and Answered to prepare for your next Android developer interview☆19Jan 24, 2020Updated 6 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆126Oct 20, 2026Updated last week
- Android app for synchronized recording of video and IMU data on one or multiple smartphones with advanced camera options, useful for 3D r…☆95Oct 5, 2022Updated 4 years ago
- Droop STV Election Counter☆14May 16, 2020Updated 6 years ago
- Python module for change point detection in a time series with experimental environment☆14Apr 19, 2026Updated 6 months ago
- Symbolic execution engine for .NET Core☆60Jan 6, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Oct 9, 2025Updated last year
- Dota 2 Fantasy League calculator for TI2025☆31Jul 31, 2026Updated 3 months ago
- Kill Switch Script - stops traffic leaking from you if your VPN goes down.☆12Sep 20, 2016Updated 10 years ago
- A Swiss Army Knife for computational social choice research☆25Updated this week
- Syntax definitions for "go.mod" and "go.sum" for Sublime Text☆14Jul 26, 2025Updated last year
- Playing with Kotlin, MVVM, and Movie DB☆77Jun 16, 2024Updated 2 years ago
- Cat photo storage☆13May 26, 2024Updated 2 years ago
- A toolkit for Bayesian change point detection☆36Oct 20, 2025Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 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.
- ☆45May 27, 2025Updated last year
- A sample app that demonstrates the usage of pagination with a one-to-many relation in Room, with data fetched from GitHub API.☆13May 28, 2020Updated 6 years ago
- ☆10Apr 7, 2020Updated 6 years ago
- ☆10Nov 7, 2019Updated 6 years ago
- Web-app that assists in checking students' assignments☆14Oct 3, 2024Updated 2 years ago
- ☆13Jun 25, 2023Updated 3 years ago
- A simple, clean, and beautiful WYSIWYG Markdown editor and content-management system☆10Feb 13, 2022Updated 4 years ago
- A reference implementation of Dhall in Scala☆12Jun 18, 2026Updated 4 months ago
- Strongly typed DNS for scala. Based on the cats ecosystem with scodec and fs2☆12Aug 6, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Talk on folds & unfolds (and combinations) for general algebraic data types☆12Aug 6, 2013Updated 13 years ago
- A multiplatform composable for editing rich text.☆34Mar 25, 2025Updated last year
- Functional, tagless and lens-based, global state management. With scalajs-react fs2.Stream integrations.☆13Updated this week
- A program that detects sentences in passive voice in English.☆12Dec 22, 2017Updated 8 years ago
- Utilities for working with partial functions☆16Oct 17, 2026Updated 2 weeks ago
- A super-minimal Docker Compose template for Apache Superset.☆18Jan 31, 2024Updated 2 years ago
- ☆18May 6, 2020Updated 6 years ago