zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".
☆21Jun 15, 2026Updated 4 months ago
Alternatives and similar repositories for zebra4j
Users that are interested in zebra4j are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PostgreSQL TurboQuant Index for PGVector☆16Sep 3, 2026Updated last month
- Multi-algorithm Random Number Generator Native Extension for the Defold Game Engine☆13Oct 22, 2026Updated last week
- Simple runtime atlas packer☆15Sep 11, 2024Updated 2 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Aug 19, 2012Updated 14 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆22Mar 22, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.☆29Oct 24, 2026Updated last week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- ☆16Mar 27, 2024Updated 2 years ago
- The Grammar Matrix☆19Aug 4, 2026Updated 2 months ago
- Level-up your Hypothesis tests with CrossHair☆28Oct 23, 2026Updated last week
- Venus Server - Tiny HTTP server in Java.☆11Feb 22, 2020Updated 6 years ago
- HackerRank's Solutions☆11Apr 2, 2020Updated 6 years ago
- A syscall hooking system for FreeBSD, NetBSD and also Linux.☆17Nov 14, 2021Updated 4 years ago
- A collection of steganography tools.☆15Nov 2, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A fast and powerful file downloader written in Go☆12Feb 25, 2023Updated 3 years ago
- small 1D fitter☆12Jan 15, 2022Updated 4 years ago
- Graphical and minimalistic hex editor.☆14Nov 4, 2021Updated 4 years ago
- Press Ctrl + F2 to Google any selected text on Linux☆13May 16, 2021Updated 5 years ago
- Developing a Deep learning classification-based model for screening pharmaceutical compounds with hERG inhibitory activity (cardiotoxicit…☆15Oct 2, 2024Updated 2 years ago
- Learnig django based on a project - آموزش جنگو پروژه محور☆16Oct 24, 2022Updated 4 years ago
- Gulel is an express based application server that manages Twitch Webhooks with minimal setup. It uses ngrok to make the local server reac…☆13Jan 8, 2023Updated 3 years ago
- A no-hassle GVim-inspired GUI text editor built with wxWidgets.☆16Mar 14, 2021Updated 5 years ago
- Inform 7 with illustrative examples of play☆12Aug 23, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 🐙🐱📦 Additional GitHub API methods☆17Apr 13, 2021Updated 5 years ago
- Bot programming platform for turn based games.☆12Jun 6, 2020Updated 6 years ago
- A Regex based linter tool that works for any language and works exclusively with custom linting rules.☆12Sep 7, 2024Updated 2 years ago
- This repository contains the research project that enables the robot to automatically join a group based on the modeled personal, social …☆11Nov 4, 2018Updated 7 years ago
- Simple anomaly detection for univariate time series data.☆12Jan 8, 2021Updated 5 years ago
- Fractals using Python 3☆11Apr 9, 2021Updated 5 years ago
- Using weather effects to represent people's emotions in augmented reality☆15Mar 12, 2017Updated 9 years ago
- The online version of Haskell: the Craft of Functional Programming.☆13Oct 26, 2026Updated last week
- Embed Tweets without compromising your users’ privacy and your site’s performance.☆14Oct 19, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A poc to demonstrate how ransomware can spread to enterprise apps through libraries☆10Mar 28, 2018Updated 8 years ago
- Lightweight property scraper with database and notification capabilities☆18Aug 10, 2020Updated 6 years ago
- a bash.org clone built with Flask☆10Jul 28, 2018Updated 8 years ago
- Semantics of Programming Languages☆13Aug 8, 2019Updated 7 years ago
- Syntax highlighting for Ogre Scripts in VSCode☆13Sep 11, 2026Updated last month
- Project page for our paper "DurIAN : DurIAN-SC: Duration Informed Attention Network based Singing Voice Conversion System".☆11Oct 12, 2020Updated 6 years ago
- MVP for updated PEP 543 proposal☆14Oct 23, 2026Updated last week