๐งฎ Propositional logic calculator
โ23Sep 13, 2024Updated last year
Alternatives and similar repositories for predimate
Users that are interested in predimate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ๐๏ฝSelene is a statically-typed, imperative and procedural programming language compiled to LLVM IR. The language of tranquil and serenitโฆโ12Feb 16, 2025Updated last year
- โ16Mar 5, 2024Updated 2 years ago
- ๐ฒ A powerful and simple-to-use guilded API wrapper made in Kotlin. Currently outdated.โ12Mar 5, 2023Updated 3 years ago
- ๐ Loritta's websiteโ12Nov 2, 2020Updated 5 years ago
- ๐ฆ A Flappy Bird clone made in Kotlin, with Desktop (LWJGL) and Web (WebGL2) targetsโ20Feb 7, 2025Updated last year
- 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.
- Dados Abertos do FiscalizaJรก - Dados unificados e padronizados sobre uso do dinheiro pรบblicoโ12Jan 3, 2025Updated last year
- A Kotlin Multiplatform port of snakeyaml-engineโ42Jun 23, 2026Updated last week
- ๐โ The official Lunala's source code! Yet a modern space exploration bot.โ22Nov 9, 2020Updated 5 years ago
- ๐พ Kotlin Library for Receiving and Handling Discord Interactions via Web Servers/Gateway with Kordโ43Dec 10, 2022Updated 3 years ago
- ๐ Helper bot for Loritta's Support Server!โ20Feb 8, 2025Updated last year
- ๐ "Go away, selfbots!" - Elite Penguin Force's private bot that allows server admins to find, track, report and automatically ban selfboโฆโ13Dec 14, 2023Updated 2 years ago
- A Discord Bot based on the AnimeMusicQuiz (AMQ) game, play using your MAL/Anilist animelist and with different game modes! โจโ21Mar 2, 2022Updated 4 years ago
- A gui packages manager for termuxโ23Dec 5, 2022Updated 3 years ago
- postgres container w/ benefitsโ10Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits โข AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- [DEPRECATED] Discord-like rate limit feature for Ktorโ19Sep 9, 2023Updated 2 years ago
- A DBMS entirely written in bash scriptโ11Jan 25, 2025Updated last year
- Gradle plugin to assist in forking Paperโ20Jul 20, 2025Updated 11 months ago
- Kotlin Command library for Kord and other APIsโ20Apr 16, 2023Updated 3 years ago
- A giant cave plugin for the Bukkit minecraft serverโ12Nov 24, 2020Updated 5 years ago
- ๐ก Loritta's DreamLand, the place to suggest new features for Loritta!โ18Mar 3, 2022Updated 4 years ago
- PostgreSQL upsert for Exposed framework.โ27May 29, 2023Updated 3 years ago
- Original dcevm11 sources without updates (will be removed)โ12Dec 2, 2018Updated 7 years ago
- ๐ "Go away, selfbots!" - List of known selfbots IDs and other data to help you keep them away from your serverโ21Oct 13, 2021Updated 4 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.
- Re-implementation of The Sims 1, based off of FreeSO.โ11Nov 13, 2019Updated 6 years ago
- TLS 1.3 Handshake in Linux Kernel: 1. used by QUIC implementation on 'quic' branch; 2. used by NFS over TLS on 'sunrpc' branch; 3. usโฆโ12Dec 5, 2023Updated 2 years ago
- Firestore-inspired real-time sql queries subset for Tauri (Typescript frontend, Rust backend)โ12Nov 25, 2024Updated last year
- Broken Promises - Everything you should NOT do while using JavaScript Promises ๐ฅ๐คฏโ17Oct 18, 2022Updated 3 years ago
- Proof-of-concept Kubernetes setup for running a MultiPaper Minecraft Server that autoscales based on CPU usage.โ10Jul 20, 2023Updated 2 years ago
- A Cleanroom minecraft server API in kotlinโ50Jul 27, 2020Updated 5 years ago
- ๐ธ Unified payment service for PerfectDreams' services, integrating a bunch of payments providersโ11Feb 9, 2026Updated 4 months ago
- My first i3wm nord themed rice :Dโ12Jul 31, 2021Updated 4 years ago
- Upsert DSL extension for Exposed, Kotlin SQL frameworkโ33Nov 1, 2023Updated 2 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.
- A room viewer and unpacker/decompiler for Gamemaker: Studio 1.4 games. Written in GMS 2, and ported to GM:S 1.4.โ11May 19, 2017Updated 9 years ago
- Social Media Tray Iconsโ16Apr 10, 2023Updated 3 years ago
- A Minecraft Protocol library for Kotlin Multiplatformโ30Apr 3, 2021Updated 5 years ago
- A propositional logic library.โ17Apr 26, 2024Updated 2 years ago
- JavaScript Argument Validator.โ22Sep 8, 2023Updated 2 years ago
- A text-based tool for identifying organic molecules.โ15Apr 14, 2023Updated 3 years ago
- โ10Aug 15, 2019Updated 6 years ago