A Datalog Framework for Python
☆16Mar 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:
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- The CRT X-Y library (libcrtxy) is meant to be used by video game programmers who wish to create games in the style of vector graphics a…☆13Sep 2, 2023Updated 2 years ago
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- Chart.js bindings for OCaml☆13May 13, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- OCaml implementation of MySQL/MariaDB protocol with the Bitstring library☆14Apr 12, 2022Updated 3 years ago
- This is a repository for an experimental literary project: producing imaginary source code for novels.☆19Dec 9, 2011Updated 14 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 8 years ago
- AST generation library☆27Jan 15, 2015Updated 11 years ago
- Shell scripting language☆12Apr 29, 2016Updated 9 years ago
- OCaml bindings to libssh☆14Jan 3, 2016Updated 10 years ago
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 3 years ago
- Automatic Differentiation for high-performance stencil loops☆13Mar 25, 2021Updated 5 years ago
- Bytecode compiler of a variant of Caml☆34Jun 4, 2015Updated 10 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Automatic Differentiation: FADBAD++ for OCaml☆14Oct 26, 2020Updated 5 years ago
- A simple photo gallery webapp☆15Jun 1, 2021Updated 4 years ago
- Naive interpreter for a Python like language☆15Jan 20, 2022Updated 4 years ago
- 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
- Cell language C++ runtime☆18Oct 1, 2020Updated 5 years ago
- OCaml client for the Redis advanced key-value store☆24May 5, 2011Updated 14 years ago
- A simple volume indicator utility for the i3 desktop environment (i3bar) interfacing with `pactl`☆15Mar 31, 2016Updated 9 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 5 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Python parser for UCUM (Unified Code for Units of Measure) incl. converter to pint units☆14Mar 1, 2026Updated 3 weeks ago
- Semantic prefix map registry☆13Feb 20, 2026Updated last month
- pure-python C types packer/unpacker☆19Mar 1, 2020Updated 6 years ago
- A library for creating and patching binary diffs. Based on bsdiff.☆11Nov 23, 2014Updated 11 years ago
- S-expression parsing and writing in Rust☆18Apr 8, 2023Updated 2 years ago
- A library for probabilistic programming☆15Jan 18, 2025Updated last year
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Sep 6, 2023Updated 2 years ago
- Access public biological ontologies.☆15Aug 7, 2024Updated last year
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- libc and tools for creating size-optimized, statically linked Linux i386 and i686 programs☆25Feb 26, 2026Updated 3 weeks ago
- An OCaml library for describing Protobuf messages☆30Feb 4, 2021Updated 5 years ago
- OCaml AWS Client☆20Jul 10, 2023Updated 2 years ago
- 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
- A PPX extension for big array literals in OCaml☆19Jul 18, 2018Updated 7 years ago
- OCaml bindings to Google Cloud Platform APIs☆26Mar 5, 2026Updated 2 weeks ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago