Skip to content
View jorpic's full-sized avatar
  • Formal Methods
  • In transit

Organizations

@f-me

Block or report jorpic

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A static site generator for data apps, dashboards, reports, and more. Observable Framework combines JavaScript on the front-end for interactive graphics with any language on the back-end for data a…

TypeScript 2,860 148 Updated Jan 24, 2025

Type-safe, layered, light-weight, `serde`-based configuration library

Rust 179 11 Updated Oct 18, 2024

k crash course

195 23 Updated Oct 17, 2022

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

C 373 24 Updated Sep 26, 2024

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

R 6,623 262 Updated Dec 10, 2024

literate markdown tangle

Go 154 29 Updated Dec 8, 2022

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

TLA 491 22 Updated Oct 27, 2024

A curated list of TLA+ resources.

66 25 Updated Jul 18, 2019

A tutorial about how to apply property-based testing to stateful systems.

Haskell 70 4 Updated Feb 10, 2023
Python 102 11 Updated Oct 29, 2021

A massively parallel, optimal functional runtime in Rust

Cuda 10,872 419 Updated Nov 21, 2024

Bytebeat player with playlist that contains many interesting formulas from the Internet.

JavaScript 13 1 Updated Aug 20, 2024

Information about RCWL-0516 microwave proximity switch module (ICStation.com SKU 10630)

756 109 Updated Mar 27, 2023

gtk ui for neovim

Rust 165 11 Updated Mar 10, 2025

gtk ui for neovim

Rust 723 58 Updated Aug 29, 2023
Jupyter Notebook 6 1 Updated Feb 24, 2021

A list of papers about distributed consensus.

2,554 214 Updated Aug 8, 2024

Documentation on how to access and use the Quick, Draw! Dataset.

6,296 972 Updated Mar 11, 2025

Identifiers that are readable, spellable, and pronounceable.

JavaScript 44 7 Updated Sep 7, 2013

Postgres Explain Visualizer 2

TypeScript 2,823 137 Updated Mar 13, 2025

Links to tools by subject

375 83 Updated Mar 19, 2024

PostgreSQL Unit Testing Suite

PLpgSQL 1,024 94 Updated Feb 25, 2025

πŸ“ˆ A small, fast chart for time series, lines, areas, ohlc & bars

JavaScript 9,001 394 Updated Mar 13, 2025

πŸ’₯πŸ’»πŸ’₯ A data-parallel functional programming language

Haskell 2,480 173 Updated Mar 12, 2025

πŸ¦€ How to minimize Rust binary size πŸ“¦

Rust 8,719 221 Updated Dec 26, 2024

A bookmarklet for translating marketing speak into human-readable text. πŸ’©

JavaScript 1,875 166 Updated May 13, 2024

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

Haskell 246 97 Updated Mar 11, 2025

The Tari protocol

Rust 367 222 Updated Mar 12, 2025

A modern runtime for JavaScript and TypeScript.

Rust 102,145 5,509 Updated Mar 13, 2025

Research programming language for concurrent ownership

C++ 3,601 168 Updated Feb 6, 2025
Next
Showing results