A C++ Constraint Programming Library
☆45May 9, 2024Updated last year
Alternatives and similar repositories for naxos
Users that are interested in naxos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Small Prolog☆14Dec 8, 2016Updated 9 years ago
- perl CPAN yml and patches☆11Jul 5, 2019Updated 6 years ago
- A Perl Semantic Web Framework☆19Jan 23, 2025Updated last year
- A Golang implementation of the Jackson-Smile data format☆12Jan 28, 2026Updated last month
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Jan 23, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.☆16Nov 1, 2016Updated 9 years ago
- Raytracer☆14Sep 20, 2022Updated 3 years ago
- Discussion and announcement management for the KGC Book Club☆11Sep 8, 2020Updated 5 years ago
- tools for common-logic☆22Mar 5, 2013Updated 13 years ago
- A tool to generate C++ headers from TypeScript declaration files☆11Sep 2, 2024Updated last year
- Exploiting Jackson deserialization vulnerability with 3 gadgets☆10May 3, 2021Updated 4 years ago
- Neo4j Procedures to declare, store and run Javascript, Python, R, Ruby based procedures☆18Nov 23, 2018Updated 7 years ago
- Scaleset Geo is a GeoJSON compatible framework for working with simple feature data.☆17Sep 22, 2016Updated 9 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A fairly simple music player for Mac OSX☆14Feb 26, 2025Updated last year
- a naive imperative json parser in perl6, to evaluate performance against JSON::Tiny☆27Mar 2, 2026Updated 3 weeks ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Efficient MeTTa language implementation in Prolog.☆21Updated this week
- ☆19Mar 27, 2020Updated 5 years ago
- REST API using: Spring Boot + Hibernate + MySQL + Jackson + Retrofit☆10Jan 22, 2016Updated 10 years ago
- Explore Clojure by building a digital Jackson Pollock☆76Aug 9, 2014Updated 11 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago
- programs written in Picat☆11Feb 10, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated last month
- An archive of material related to the Cyc project.☆38Nov 13, 2025Updated 4 months ago
- A lexical scanner and parser in C++ for Code analyzer which will extract lexical content from source code files, analyze the code’s synta…☆10Mar 14, 2016Updated 10 years ago
- This addon fully implement Qt VS Addin☆12Mar 6, 2019Updated 7 years ago
- Jackson parsing and printing for circe☆19Mar 9, 2026Updated 2 weeks ago
- Action Bar examples using custom Holo themes and Titanium Alloy. It's Time for 'Action'.☆54Aug 9, 2014Updated 11 years ago
- Pythonic way of keeping secrets secure in JSON☆19Dec 29, 2020Updated 5 years ago
- Framework for creating web applications using Logtalk☆12Apr 12, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A curated list of ChaiScript Modules and Utilities.☆13Dec 2, 2019Updated 6 years ago
- An Oculus Rift SDK wrapper for Qt applications.☆11Sep 12, 2016Updated 9 years ago
- C++ network framework，currently we support http, https, websocket☆13Sep 25, 2019Updated 6 years ago
- Lightweight iterators for various sets where the elements are computed on demand.☆22Sep 25, 2016Updated 9 years ago
- ☆11Sep 18, 2023Updated 2 years ago
- A command-line parser for neovim for plugin authors.☆13Feb 23, 2022Updated 4 years ago
- Isometric icons using Google Material Design Icons saved as scalable vector graphics (SVG)☆12Apr 5, 2018Updated 7 years ago