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.
☆19Mar 10, 2026Updated 6 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:
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 11 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated 2 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- 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 2 months 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 4 months ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- A Lean-embedded framework to verify Verilog modules☆15Updated this week
- Source code accompanying "Latent Effects for Reusable Language Components"☆15Aug 24, 2021Updated 5 years ago
- To Mock a Mockingbird, formalized in Coq☆11Mar 9, 2016Updated 10 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated 2 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.
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- Formal Verification for JavaScript Regular Expressions☆15Updated this week
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Get [@@deriving]-style generation of type-directed values without writing a ppx☆17Feb 15, 2022Updated 4 years ago
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆18Updated this week
- Formalization of CBPV extended with effect and coeffect tracking☆17Aug 30, 2024Updated 2 years ago
- 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Loquat: A System for Large-Scale Actor Programming☆11Mar 17, 2017Updated 9 years ago
- Elements of Group Theory☆16Oct 18, 2020Updated 5 years ago
- 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 4 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
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆19May 18, 2017Updated 9 years ago
- Little cli to convert md files into mld files☆27Feb 6, 2025Updated last year
- 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.
- Structural search for Rust☆15Nov 4, 2025Updated 10 months ago
- a ppx_deriving plugin for crowbar generators☆21Jul 1, 2019Updated 7 years ago
- isla coq infrastructure☆22Mar 11, 2025Updated last year
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆16Feb 1, 2025Updated last year
- A simple induction and BMC engine.☆25May 16, 2022Updated 4 years ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 9 years ago