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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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 3,591 204 Updated May 15, 2026

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

Rust 221 15 Updated Oct 27, 2025

k crash course

220 24 Updated Dec 11, 2025

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

C 483 29 Updated Jun 1, 2025

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

R 7,097 284 Updated Sep 3, 2025

literate markdown tangle

Go 183 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 504 22 Updated Apr 22, 2026

A curated list of TLA+ resources.

69 29 Updated Jul 18, 2019

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

Haskell 81 5 Updated Feb 10, 2023
Python 106 10 Updated Oct 29, 2021

A massively parallel, optimal functional runtime in Rust

Cuda 11,341 440 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)

789 109 Updated Mar 27, 2023

gtk ui for neovim

Rust 175 12 Updated Jun 28, 2026

gtk ui for neovim

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

A list of papers about distributed consensus.

2,645 217 Updated Apr 27, 2026

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

6,800 1,077 Updated Mar 11, 2025

Identifiers that are readable, spellable, and pronounceable.

JavaScript 46 7 Updated Sep 7, 2013

Postgres Explain Visualizer 2

TypeScript 3,563 194 Updated Aug 11, 2026

Links to tools by subject

394 83 Updated Mar 19, 2024

PostgreSQL Unit Testing Suite

PLpgSQL 1,162 107 Updated Aug 2, 2026

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

JavaScript 10,407 461 Updated Apr 22, 2026

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

Haskell 2,792 207 Updated Aug 14, 2026

πŸ¦€ How to minimize Rust binary size πŸ“¦ https://github.com/johnthagen/min-sized-rust

Rust 9,834 247 Updated Oct 3, 2025

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

JavaScript 1,898 171 Updated Jan 15, 2026

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

Haskell 255 113 Updated Nov 22, 2025

The Tari protocol

Rust 497 288 Updated Aug 10, 2026

A modern runtime for JavaScript and TypeScript.

Rust 108,255 6,343 Updated Aug 14, 2026

Research programming language for concurrent ownership

C++ 3,726 172 Updated Feb 28, 2026
Next