A Datalog Framework for Python
☆17Mar 8, 2023Updated 3 years ago
Alternatives and similar repositories for snakelog
Users that are interested in snakelog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆13Nov 6, 2021Updated 4 years ago
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- OCaml implementation of MySQL/MariaDB protocol with the Bitstring library☆14Apr 12, 2022Updated 4 years ago
- This is a repository for an experimental literary project: producing imaginary source code for novels.☆19Dec 9, 2011Updated 14 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- OCaml bindings to libssh☆14Jan 3, 2016Updated 10 years ago
- Bytecode compiler of a variant of Caml☆35Jun 4, 2015Updated 10 years ago
- Automatic Differentiation: FADBAD++ for OCaml☆14Oct 26, 2020Updated 5 years ago
- A simple photo gallery webapp☆15Jun 1, 2021Updated 4 years ago
- OCaml library to produce vega-lite visualizations (as json objects)☆17Aug 17, 2022Updated 3 years ago
- A Datalog implementation with an OCaml inspired module system☆43Apr 24, 2026Updated last month
- Python library for validating and managing binary array linked data files, e.g. HDF, netCDF.☆12Oct 14, 2022Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Jan 21, 2023Updated 3 years ago
- OCaml client for the Redis advanced key-value store☆24May 5, 2011Updated 15 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.
- A simple volume indicator utility for the i3 desktop environment (i3bar) interfacing with `pactl`☆15Mar 31, 2016Updated 10 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 5 years ago
- Semantic prefix map registry☆14May 9, 2026Updated 2 weeks ago
- pure-python C types packer/unpacker☆19Mar 1, 2020Updated 6 years ago
- OCaml syntax extension for synchronous programming...☆32Aug 17, 2023Updated 2 years ago
- A library for creating and patching binary diffs. Based on bsdiff.☆11Nov 23, 2014Updated 11 years ago
- Stand-alone programs for numerical analysis in OCaml☆46May 15, 2015Updated 11 years ago
- For DJs - Import beatgrids from Traktor/Rekordbox to Engine Prime☆17Feb 2, 2020Updated 6 years ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Sep 6, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ocaml library to access Amazon S3☆51Sep 30, 2025Updated 7 months ago
- Access public biological ontologies.☆14Aug 7, 2024Updated last year
- First pass at a thin wrapper around the Monarch API and ChatGPT plugin☆12Mar 21, 2025Updated last year
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year
- Handy python wrapper around Potassco's Clingo ASP solver.☆37May 18, 2026Updated last week
- Multiparty Session Types in OCaml☆59Nov 1, 2024Updated last year
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Dec 11, 2024Updated last year
- The swiss knife of Denon's Engine PRIME☆13Apr 30, 2025Updated last year
- OCaml AWS Client☆20Jul 10, 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.
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- OCaml bindings for L-BFGS☆16Oct 12, 2023Updated 2 years ago
- Test SMTP/IMAP server for local integration testing☆13Jul 3, 2023Updated 2 years ago
- Command line tool to kickstart installing packages after a fresh install. Support Linux distros / OSX☆11Feb 5, 2023Updated 3 years ago
- 🫓 A parser for the FlatZinc modelling language☆14Feb 27, 2025Updated last year
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Jun 10, 2016Updated 9 years ago
- ☆13May 2, 2024Updated 2 years ago