☆13Nov 29, 2019Updated 6 years ago
Alternatives and similar repositories for bachelor-thesis
Users that are interested in bachelor-thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 4 years ago
- Papers We ❤️ Joinville☆14May 29, 2020Updated 6 years ago
- Contador de Pessoas Vacinadas na Magrathea☆22Oct 11, 2021Updated 4 years ago
- ☆20Dec 9, 2020Updated 5 years ago
- Elixir code and test generation from TLA+ specifications☆79May 16, 2023Updated 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.
- Kubernetes operator to autoscale Google's Cloud Bigtable clusters☆22Feb 3, 2023Updated 3 years ago
- A Gem for extracting the most prevalent colors from an image☆20Apr 1, 2021Updated 5 years ago
- Linux/X11 tool for intercepting mouse events and executing commands. Written in Kotlin Native.☆13Sep 6, 2021Updated 4 years ago
- spotify dbus + genius lyrics. terminal-based.☆18Dec 4, 2023Updated 2 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- ☆10Dec 1, 2021Updated 4 years ago
- A Henkin-style completeness proof for the modal logic S5☆18Jun 20, 2021Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Geographic Data Science - Autumn term 2015☆10Feb 19, 2016Updated 10 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.
- A Radarr/Sonarr Telegram Bot featuring user authentication/level access.☆23May 7, 2020Updated 6 years ago
- The Mnt NG app interface written in flutter☆12Feb 20, 2019Updated 7 years ago
- Front end for the RAD Remedy project, used to recommend health care providers and other resources to LGBTQI people.☆13Sep 6, 2017Updated 8 years ago
- ⚛️ React Native JS-only amount (decimal) input component☆13Jan 7, 2023Updated 3 years ago
- A small go tool to download roms from known emulator websites☆19Dec 3, 2018Updated 7 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated 9 months ago
- A Certified Interpreter for ML with Structural Polymorphism☆45Apr 11, 2025Updated last year
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- WIP self-hosted Discord music bot built in Haskell☆10Apr 1, 2025Updated last year
- 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.
- Go SQL Driver/Middleware to Detect Resource Leaks☆15Jun 1, 2025Updated last year
- Secret Crew Graphql API☆10May 28, 2017Updated 9 years ago
- The QGIS plugin provides access to the WMS services of the Spatial Data Infrastructure TerraBrasilis.☆13Apr 24, 2026Updated 2 months ago
- A demo that shows how to implement Typesense in a vanilla JS application☆10Feb 5, 2025Updated last year
- Automated code review in Python☆19Jun 3, 2018Updated 8 years ago
- ☆12Nov 30, 2020Updated 5 years ago
- A dprint plugin for Intellij.☆18Jan 18, 2026Updated 5 months ago
- LL(1) parser generator verified in Coq☆51Jan 30, 2020Updated 6 years ago
- A server for simple-bar that allows on the fly refreshes☆20May 27, 2026Updated last month
- 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.
- Safely release new features to your customers.☆55Jan 20, 2025Updated last year
- Store the dominant color of an image with CarrierWave☆23Apr 30, 2021Updated 5 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 9 years ago
- Olist custom linting hooks☆26Aug 2, 2023Updated 2 years ago
- Opsworks sidekiq cookbook for Ubuntu and Rails or non-rails sidekiq deploys☆16Apr 1, 2016Updated 10 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Community Site☆14Apr 18, 2021Updated 5 years ago