An ethical license designed to prevent impure or destructive use of shared works.
☆19Aug 6, 2023Updated 3 years ago
Alternatives and similar repositories for katharos-license
Users that are interested in katharos-license are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jul 28, 2025Updated last year
- A tool for writing Sauerbraten .ogz files (maps) using JavaScript.☆14Feb 3, 2025Updated last year
- ☆13Jan 6, 2022Updated 4 years ago
- Bevy utility to translate SVG paths to the scene☆16Aug 3, 2021Updated 5 years ago
- ☆11Jan 1, 2021Updated 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.
- An easy-to-use Rust actor framework/model. Forked from the Axiom actor framework.☆17Dec 10, 2021Updated 4 years ago
- Enables the use of the Undressing window in the ADV, Recollection, Scout, and Guest modes. With experimental Halfundress support.☆11Oct 25, 2025Updated last year
- Classic Line Rider implemented with the Bevy engine and Rapier 2D.☆16Aug 13, 2021Updated 5 years ago
- An experiment in publishing a Haskell library as a Python Wheel.☆11Apr 30, 2025Updated last year
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- ☆12Dec 11, 2014Updated 11 years ago
- ☆13Jan 7, 2026Updated 10 months ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 9 months ago
- A Hashlink tool to compile hlc output☆23Jan 18, 2019Updated 7 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.
- Logical Frameworks Class☆12Feb 29, 2024Updated 2 years ago
- Character set detection for Haskell☆14Dec 1, 2025Updated 11 months ago
- Agda to C compiler☆11Sep 23, 2025Updated last year
- Google Sheets Rest API transformed into GraphQL to be added as a remote schema in Hasura☆13Dec 11, 2022Updated 3 years ago
- Test whether the "focus" mechanism is a valuable addition to attention☆12Dec 8, 2022Updated 3 years ago
- ImHex plugin that provides interface to Zlib inflate in PatternLanguage. Zlib inflate can autodetect and decompress raw deflate, zlib wra…☆10Aug 28, 2023Updated 3 years ago
- ☆12May 2, 2022Updated 4 years ago
- A game server for Cube 2: Sauerbraten.☆13Oct 5, 2025Updated last year
- Experimentation project☆17Feb 18, 2014Updated 12 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.
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated 2 months ago
- A simple node.js server for exposing a GraphQL API of movie data, backed by Neo4j.☆14Feb 5, 2018Updated 8 years ago
- Session types framework with support of protocol pipelining.☆16Aug 24, 2026Updated 2 months ago
- Holochain crate to implement general turn-based games with global DHT validation☆11Jan 8, 2023Updated 3 years ago
- Verified NbE via gluing in Agda☆11May 19, 2024Updated 2 years ago
- A MS-DOS pseudo-3D space shoot 'em up made in SNES mode7 developed with DIV Games Studio 2 'vanilla' (the original MS-DOS version from 19…☆11Apr 16, 2021Updated 5 years ago
- A single repository for various puzzles I've solved for fun☆10Mar 3, 2020Updated 6 years ago
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Oct 31, 2026Updated last week
- This is an example project for the following article: https://markus.oberlehner.net/blog/implementing-an-authentication-flow-with-passpor…☆11Dec 22, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- WORK ITEM: Drafts and Ideas of Educational and Occupational Verifiable Credentials☆11Dec 29, 2020Updated 5 years ago
- A 4X style camera for bevy.☆37Apr 16, 2022Updated 4 years ago
- Particle Systems in bevy☆24May 15, 2022Updated 4 years ago
- Source code for the memory profiling webinar livestreamed at Dec 1, 2022☆13Dec 2, 2022Updated 3 years ago
- Vulkan module for Jai☆35Feb 22, 2026Updated 8 months ago