A toy for making geometric art, inspired by Islamic Zellij.
☆18Jan 8, 2019Updated 7 years ago
Alternatives and similar repositories for zellij
Users that are interested in zellij are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20May 20, 2021Updated 4 years ago
- Fluent for Elm (translation and l10n/i18n solution)☆17Jan 19, 2026Updated 3 months ago
- A "Cellular" Viewer for Conwey's Game of Life☆17Jan 3, 2014Updated 12 years ago
- Redis GET, SET, DEL, PUBLISH and SUBSCRIBE commands on top of riak_core☆29Jan 20, 2018Updated 8 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 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.
- ☆15Jun 14, 2022Updated 3 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆13Apr 26, 2026Updated last week
- Graphs of the various type conversions provided by the OCaml standard library.☆36Aug 19, 2020Updated 5 years ago
- automatic visual data explorer for datasette☆14Apr 20, 2023Updated 3 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- A Python program that makes it easy to manage modules on a CircuitPython device!☆11Mar 31, 2021Updated 5 years ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆19Sep 3, 2024Updated last year
- Health care for your git repository☆13Jul 22, 2020Updated 5 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.
- ☆11Aug 6, 2015Updated 10 years ago
- Stub code generator for OCaml/C interface☆37Feb 28, 2026Updated 2 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Mar 26, 2026Updated last month
- Guess sentences from initial letters of each word☆23Aug 22, 2022Updated 3 years ago
- Turns raster images in to PCB silkscreen images using halftone technique☆11Mar 11, 2025Updated last year
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- ☆13Dec 25, 2020Updated 5 years ago
- Useful xonsh-shell commands/alias functions☆11Apr 24, 2025Updated last year
- a vim plugin for Dafny, a verified programming language.☆21Sep 25, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python cFFI bindings for FBInk☆21Dec 5, 2022Updated 3 years ago
- a modular 2D videogame framework☆16Jul 7, 2016Updated 9 years ago
- Prolog Technology Theorem Prover☆13Jun 19, 2024Updated last year
- ☆10May 23, 2021Updated 4 years ago
- Quick interactive TUI json picker/menu☆90Jan 1, 2026Updated 4 months ago
- Basic types for computer graphics in OCaml☆40Feb 13, 2026Updated 2 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆27Dec 18, 2024Updated last year
- Algorithm for locating anagrams and evaluating their quality☆13May 11, 2017Updated 8 years ago
- Ocaml cross-compiler for Android☆45Oct 10, 2014Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Homebrew tap for GAP☆16Oct 20, 2025Updated 6 months ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆18Apr 15, 2026Updated 3 weeks ago
- Lookup and load installed OCaml modules☆17Jul 29, 2025Updated 9 months ago
- Multinomials for the Mathematical Components library.☆17Apr 14, 2026Updated 3 weeks ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 12 years ago