Latex Template for Bachelor and Master thesis (University of Basel, Department of Mathematics and Computer Science)
☆41Jan 2, 2024Updated 2 years ago
Alternatives and similar repositories for basilea-latex
Users that are interested in basilea-latex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mopidy extension which lets you explore the JSON-RPC API.☆20Dec 25, 2025Updated 3 months ago
- Instruction and files for porting Arm DesignStart to CW305.☆16Dec 6, 2023Updated 2 years ago
- Telegram bot which sends alerts when new papers, articles, books, etc. related to your keywords are released on Google Scholar or arXiv☆12Feb 26, 2022Updated 4 years ago
- ☆13Jun 2, 2024Updated last year
- Fail safe Raspbian read only root overlay. Transient or persistent root filesystem supported☆13Jun 28, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An example Windows PE (WinPE) iso built in a vagrant environment☆20Jun 13, 2024Updated last year
- ☆12Jul 24, 2020Updated 5 years ago
- ☆49Mar 18, 2026Updated 3 weeks ago
- SPI core☆14Oct 25, 2019Updated 6 years ago
- AHB3-Lite to Wishbone Bridge☆13Mar 26, 2019Updated 7 years ago
- Evaluate LLM-synthesized @JuliaLang code.☆26Aug 17, 2024Updated last year
- Red Pitaya Ecosystem and Applications☆15Oct 24, 2016Updated 9 years ago
- A sensor for METAR temperatures. https://en.wikipedia.org/wiki/METAR☆12Mar 12, 2026Updated 3 weeks ago
- Text-base (vCard) contact management software☆12Apr 1, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- work-on-sony-apis☆22Oct 5, 2013Updated 12 years ago
- QRecorder - playback capture api implementation with decoding recording from pcm to mp3 format☆16Nov 4, 2020Updated 5 years ago
- Data Parallel Extensions for Python*☆36Mar 18, 2025Updated last year
- Linux distribution rootfs file system generator based on deb packages☆13Oct 8, 2024Updated last year
- A way to install Qt in CI environment☆20Mar 20, 2024Updated 2 years ago
- Go library and CLI for assisting in sending webmentions.☆55May 31, 2025Updated 10 months ago
- A repository of simple examples of ARTIQ code☆20Mar 25, 2020Updated 6 years ago
- QSPI flash support for Xilinx's Zynq devices☆28Jul 28, 2020Updated 5 years ago
- WMI Event Subscription Persistence in C#☆112May 29, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆44May 6, 2025Updated 11 months ago
- Simple insights for Django projects☆40Oct 4, 2024Updated last year
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆48Sep 13, 2025Updated 6 months ago
- Run applications in VNC desktops. Use for scaling on HiDPI displays.☆34Apr 29, 2018Updated 7 years ago
- A proof of concept for dynamically loading .net assemblies at runtime with only a minimal convention pre-knowledge☆164Jul 25, 2018Updated 7 years ago
- Simple comment-based outline folding for Emacs☆141Oct 12, 2025Updated 5 months ago
- NGFF (M.2) edge connector footprints and symbols for KiCAD☆41Jun 1, 2020Updated 5 years ago
- FPGA gateware and pre-build bitstreams that expose SPI over JTAG. The protocol is implemented (among others) by openocd.☆59Mar 16, 2023Updated 3 years ago
- Open source FreeRTOS SDK for EOS S3 MCU+eFPGA SoC including gateware, software and documentation under QuickLogic Open Reconfigurable Com…☆50Jun 10, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- [NeurIPS 2024] Evaluation harness for SWT-Bench, a benchmark for evaluating LLM repository-level test-generation☆76Mar 23, 2026Updated 2 weeks ago
- XCP-ng Windows Guest Tools☆80Mar 23, 2026Updated 2 weeks ago
- DEPRECATED SharpRoast is a C# port of various PowerView's Kerberoasting functionality.☆251Sep 25, 2018Updated 7 years ago
- SharpGen is a .NET Core console application that utilizes the Rosyln C# compiler to quickly cross-compile .NET Framework console applica…☆302Apr 23, 2021Updated 4 years ago
- Small, but powerful FPGA development board based on the Lattice ECP5.☆75Jun 2, 2019Updated 6 years ago
- ActivityPub vocabulary for Go☆156Apr 2, 2026Updated last week
- This is a guide for bringing up custom ZYNQ boards. It covers test sequence, test method, common error situations and code and project th…☆72Oct 5, 2017Updated 8 years ago