Skip to content
View dckc's full-sized avatar

Organizations

@monte-language @PCORnet @Agoric

Block or report dckc

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
Showing results

ECMAScript Specification (ECMA-262) Metalanguage

Scala 260 24 Updated May 2, 2026

Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

Rust 106,105 3,564 Updated May 2, 2026

A lightweight, cross-platform Markdown editor

TypeScript 67 3 Updated May 1, 2026

TypeScript compiler and JavaScript engine in Lean

Lean 35 1 Updated Apr 30, 2026

Visual Studio Code extension for Coq

OCaml 447 104 Updated Apr 16, 2026

Beancount: Double-Entry Accounting from Text Files.

Python 5,528 426 Updated May 1, 2026

Discord bot for remote OpenCode CLI access

TypeScript 144 24 Updated Apr 28, 2026

G-code generator for 3D printers (Bambu, Prusa, Voron, VzBot, RatRig, Creality, etc.)

C++ 13,570 2,148 Updated May 2, 2026

Conversational chat-bot for Delta Chat

Python 12 4 Updated Apr 15, 2026

An alternative to the immich-CLI command that doesn't depend on nodejs installation. It tries its best for importing google photos takeout archives.

Go 6,075 204 Updated Mar 2, 2026

Fast, interactive disk usage analyzer for the terminal. Tree view, treemap, file type breakdown, safe deletion, and JSON export built in Go.

Go 11 Updated Feb 17, 2026

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Python 33,514 2,324 Updated Apr 27, 2026

Nix flake for OpenAI Codex CLI - native Rust binary, hourly updates, multi-platform caching

Shell 98 15 Updated May 2, 2026

A secure* runtime for autonomous AI agents. Policy from plain-English constitutions. (*https://ironcurtain.dev)

TypeScript 240 30 Updated May 2, 2026

Run OpenAI Codex Desktop on Linux - automated installer

Rust 515 83 Updated May 2, 2026

An extremely fast Python package and project manager, written in Rust.

Rust 84,255 3,023 Updated May 1, 2026

Firefox Reader View as a command line tool

C 926 39 Updated Oct 4, 2025

Dillo, a multi-platform graphical web browser

C++ 1,151 72 Updated Apr 19, 2026

Directory of awesome projects related to the future buzzword compliant decentralized internet Web3 Blockchain P2P secure world cloud!

19 5 Updated Mar 1, 2026

A Nixpkgs module system usage pattern

Nix 439 9 Updated Apr 27, 2026
TypeScript 10,621 367 Updated Apr 29, 2026

Virtual whiteboard for sketching hand-drawn like diagrams

TypeScript 122,341 13,489 Updated Apr 30, 2026

📜 Entire CLI hooks into your Git workflow to capture AI agent sessions as you work. Sessions are indexed alongside commits, creating a searchable record of how code was written in your repo.

Go 4,150 319 Updated May 2, 2026

Extract clean conversation logs from Claude Code's internal storage

Python 538 72 Updated Jan 2, 2026

Document scanning app

C++ 2,052 76 Updated Apr 30, 2026

Text-based user interface (TUI) frontend for parted: A simple, user-friendly utility for creating, reorganizing, and deleting disk partitions, based on Turbo/Free Vision application framework.

Pascal 80 5 Updated Mar 29, 2026

A Go unikernel running on x86 bare metal

Go 2,319 121 Updated Jul 22, 2023

Internet Computer File System

Rust 40 4 Updated Oct 28, 2022

Type Checking in Lean 4

JavaScript 37 10 Updated Mar 22, 2026

Highlight and capture the web in your favorite browser. The official Web Clipper extension for Obsidian.

TypeScript 4,115 491 Updated Apr 26, 2026
Next