A terminal-native tool that lets you explore, profile, and understand datasets instantly — without leaving your terminal, without spinning up Jupyter, without writing a single line of code. Built with Polars for lightning-fast data processing and Ratatui for a beautiful, responsive TUI.
☆18Mar 10, 2026Updated 4 months ago
Alternatives and similar repositories for dprism
Users that are interested in dprism are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- A PBT framework☆10Jul 19, 2025Updated last year
- Extension to `thiserror` that helps reduce the amount of handwriting☆13Apr 6, 2023Updated 3 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 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.
- A library for parsing, manipulating, and serializing data structured as JSON.☆20Jul 10, 2026Updated 3 weeks ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 9 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11May 8, 2026Updated 2 months ago
- Property-based testing for OCaml, built on Hypothesis☆19Updated this week
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Jun 21, 2024Updated 2 years ago
- OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX d …☆18Feb 2, 2024Updated 2 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- Authentication library for Rust web applications with OAuth2/OIDC and WebAuthn/Passkey support.☆19May 13, 2026Updated 2 months 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.
- Source code accompanying "Latent Effects for Reusable Language Components"☆15Aug 24, 2021Updated 4 years ago
- Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]☆15Jul 22, 2024Updated 2 years ago
- Distributed algorithms in Lean 4☆16Jul 28, 2026Updated last week
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated 2 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- Formal Verification for JavaScript Regular Expressions☆15Jul 8, 2026Updated 3 weeks ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Get [@@deriving]-style generation of type-directed values without writing a ppx☆17Feb 15, 2022Updated 4 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.
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆17Jul 29, 2026Updated last week
- Formalization of CBPV extended with effect and coeffect tracking☆17Aug 30, 2024Updated last year
- A Framework for building Batched Concurrent Services☆21May 20, 2025Updated last year
- A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.☆21Nov 20, 2020Updated 5 years ago
- Protect against backwards-incompatible serializations☆23May 21, 2021Updated 5 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 8 years ago
- Loquat: A System for Large-Scale Actor Programming☆11Mar 17, 2017Updated 9 years ago
- a ppx_deriving plugin for crowbar generators☆20Jul 1, 2019Updated 7 years ago
- Elements of Group Theory☆16Oct 18, 2020Updated 5 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.
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- ☆16Jul 1, 2015Updated 11 years ago
- FYP on using e-graphs to solve smt bitvector problems☆16Jun 24, 2025Updated last year
- a solver for opam packages using 0install's solver engine☆23May 5, 2026Updated 3 months ago
- Self Host Image Resizing: Generate Images on the fly without paying extra cost in image resizing services☆11Jul 27, 2024Updated 2 years ago
- Little cli to convert md files into mld files☆27Feb 6, 2025Updated last year
- A tool for formally verifying constant-time software against hardware 🕰️☆16Feb 1, 2025Updated last year