Java implementation of common algorithms taught at ETH
☆15Dec 4, 2024Updated last year
Alternatives and similar repositories for and-algorithms
Users that are interested in and-algorithms are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- summaries and cheatsheets from my studies at ETH Zürich☆14Aug 10, 2026Updated 2 months ago
- Development of EUF ranking system☆15May 4, 2025Updated last year
- An opinionated list of awesome resources for studying at ethz☆22Sep 18, 2026Updated 3 weeks ago
- Checker for "morally correct" induction proofs about haskell programs☆11Mar 16, 2022Updated 4 years ago
- Anki Addon to create searchable text from images in notes, using Tesseract OCR☆19Dec 26, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Browser extension to enable vim mode in the embedded IDE used in Code Expert.☆15Oct 14, 2025Updated last year
- A list of Swiss party colors, names and abbreviations to use in data visualizations☆12Sep 27, 2023Updated 3 years ago
- The IMP Language Interpreter☆15Oct 6, 2026Updated last week
- Ultra-fast build stack for Neos CMS based on esbuild and PostCSS☆17Updated this week
- This is check50, a command-line program with which you can check the correctness of your programs.☆13Nov 13, 2021Updated 4 years ago
- Changedetection-Tool for monorepositories☆17Jan 11, 2026Updated 9 months ago
- ☆11Feb 23, 2025Updated last year
- Implementation of "Active Exploration for Inverse Reinforcement Learning (AceIRL), NeurIPS 2022.☆14Oct 12, 2022Updated 4 years ago
- R & Python Codes for Computational Finance☆16May 28, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- drchrono API example using django☆11Feb 11, 2025Updated last year
- A python script to add Songs from Spotify Playlists to YouTube Playlists.☆10Mar 1, 2023Updated 3 years ago
- Stream Deck and mobile web pendant for cncjs☆25Aug 9, 2025Updated last year
- ☆25Oct 10, 2026Updated last week
- CA☆19Jun 8, 2022Updated 4 years ago
- Einsatzführung. Unabhängig. Digital.☆19Updated this week
- Does it rain in Berne?☆14Feb 8, 2022Updated 4 years ago
- All my solutions to Clash of Code (Codingame.com)☆11Jun 10, 2021Updated 5 years ago
- Android Food Recognition Example using Calorie Mama AI API☆10Jun 22, 2017Updated 9 years ago
- 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.
- Master thesis work: explaining deep reinforcement learning policies☆10Aug 27, 2020Updated 6 years ago
- The Swiss Court Ruling Corpus (SCRC) contains code for extracting information from Swiss court rulings☆11Jan 22, 2025Updated last year
- Webring for current and past members of ETH Zurich 🎓☆17Updated this week
- Cleaned data for use in stock predicting algorithms☆12Aug 6, 2017Updated 9 years ago
- Quantitative Library for Finance☆13Sep 16, 2015Updated 11 years ago
- Python, Jupyter Notebook, Sci-kit Learn, Tensorflow, Keras, Matplotlib, Seaborn, Pandas, Numpy, Scipy☆10Jan 12, 2021Updated 5 years ago
- Quantitative Finance & Algorithmic Trading in Python course of Udemy☆13Nov 14, 2017Updated 8 years ago
- Easy way to share exam answers -- Mirror from source GitLab☆22Updated this week
- A simple proof-of-concept SwiftUI application that renders a HTML-like language using SwiftUI Text elements.☆11Jan 4, 2020Updated 6 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.
- Programming for Quantitative and Computational Finance☆13Nov 14, 2019Updated 6 years ago
- 💪 Visualize Fitbod export data.☆10Feb 10, 2022Updated 4 years ago
- A Discord bot for learners of the Korean language. Provides definitions, chinese character search, as well as example sentences and neura…☆15Jan 30, 2024Updated 2 years ago
- Dead by Daylight utilities created while researching☆14Mar 30, 2022Updated 4 years ago
- Efficient 3D interactive segmentation with the nnU-Net☆12Jun 15, 2022Updated 4 years ago
- Easy BreachCompilation access☆15Mar 21, 2022Updated 4 years ago
- The Public Beta environment is designed to test and refine the Swiss e-ID technology stack.☆29Feb 18, 2025Updated last year