UtrechtUniversity / KI1V13001-Inleiding-LogicaView external linksLinks
This is the source material for the course "Inleiding Logica" (KI1V13001) as taught at Utrecht University for the BSc "Kunstmatige Intelligentie"
☆14Sep 12, 2023Updated 2 years ago
Alternatives and similar repositories for KI1V13001-Inleiding-Logica
Users that are interested in KI1V13001-Inleiding-Logica are comparing it to the libraries listed below
Sorting:
- Laravel wrapper for the Chatkit PHP SDK. ChatKit is shutting down 😕 - https://blog.pusher.com/narrowing-our-product-focus☆22Mar 31, 2020Updated 5 years ago
- Sentence tokenizer for clinical/medical text.☆28Jun 3, 2024Updated last year
- PHP library for the Hetzner Cloud API by Exploriment☆29Nov 29, 2021Updated 4 years ago
- ayyware Remake☆26Aug 30, 2017Updated 8 years ago
- Manage pusher interest subscriptions and notification events in Javascript.☆102Jan 27, 2025Updated last year
- The installer☆79Jun 20, 2021Updated 4 years ago
- This is InfiniRetri, a tool enhance Transformer-based LLMs(Large Language Model) ablity to hangle Long-Context.☆120Mar 27, 2025Updated 10 months ago
- A code generator DSL for typescript☆150Oct 3, 2025Updated 4 months ago
- ☆186Jan 27, 2025Updated last year
- User-made modifications and improvements to Discord Bot Maker.☆165May 3, 2025Updated 9 months ago
- PHP Class to download videos from YouTube.☆297Oct 1, 2020Updated 5 years ago
- A modern annotations-driven commands framework for Java and Kotlin☆317Feb 6, 2026Updated last week
- An all-in-one image-uploader☆306May 31, 2017Updated 8 years ago
- OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.☆329Oct 22, 2025Updated 3 months ago
- A Users Management Package that includes all necessary routes, views, models, and controllers for a user management dashboard and associa…☆452Jan 8, 2026Updated last month
- C# Valorant Thirdparty Launcher☆661Sep 2, 2024Updated last year
- Node.js module and CLI tool to get proxies from publicly available proxy lists.☆630Sep 2, 2021Updated 4 years ago
- ☆859Nov 6, 2025Updated 3 months ago
- Don't let your servers just melt down☆840Nov 27, 2025Updated 2 months ago
- Pomf is a simple lightweight file host with support for drop, paste, click and API uploading.☆925Jan 1, 2024Updated 2 years ago
- Library that helps you implement automatic refresh of authorization via axios interceptors. You can easily intercept the original request…☆1,134Apr 22, 2024Updated last year
- Instagram Account Creator 2024 - Not Maintained☆1,195Jul 8, 2024Updated last year
- Transform PHP data to JavaScript.☆2,205Feb 27, 2025Updated 11 months ago
- 🎨 Next.js-like framework for CLIs made with Ink☆2,348Oct 18, 2025Updated 3 months ago
- The most simple, flexible, and comprehensive OpenAI Gym trading environment (Approved by OpenAI Gym)☆2,365Mar 14, 2024Updated last year
- Edit and review GitHub issues and pull requests from the comfort of your favorite editor☆3,099Jan 22, 2026Updated 3 weeks ago
- 1.21.11 Lightweight Minecraft server☆3,040Updated this week
- A distributed key value store in under 1000 lines. Used in production at comma.ai☆3,124Feb 10, 2024Updated 2 years ago
- A Rust framework for building Minecraft servers.☆3,181Jan 15, 2026Updated last month
- 🛰️ List of satellite image training datasets with annotations for computer vision and deep learning☆3,866Jul 14, 2022Updated 3 years ago
- signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.☆4,132Feb 6, 2026Updated last week
- An open source reinforcement learning framework for training, evaluating, and deploying robust trading agents.☆5,905Feb 9, 2026Updated last week
- Flagsmith is an open source feature flagging and remote config service. Self-host or use our hosted version at https://app.flagsmith.com.☆6,210Feb 7, 2026Updated last week
- Archive of the Coding Train website (first version)☆5,748Jul 5, 2022Updated 3 years ago
- Kats, a kit to analyze time series data, a lightweight, easy-to-use, generalizable, and extendable framework to perform time series analy…☆6,282Feb 3, 2026Updated last week
- Semantic Image Synthesis with SPADE☆7,708Aug 7, 2023Updated 2 years ago
- Reads key-value pairs from a .env file and can set them as environment variables. It helps in developing applications following the 12-fa…☆8,646Jan 12, 2026Updated last month
- Simple javascript toast notifications☆12,122Feb 27, 2023Updated 2 years ago
- The PHP deployment tool with support for popular frameworks out of the box☆10,999Feb 5, 2026Updated last week