Claude Code IDE integration for Emacs

Manipulate the system (clip)board with (e)macs from a (tty)

get things from one computer to another, safely

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

A GraphQL-enabled indexer of the Mina blockchain.

Bolt: permissionless proposer commitments on Ethereum

Libraries for finite field, elliptic curve, and polynomial arithmetic

A simple template that can be used to get started with an efficient literate Emacs configuration

A powerful mock object library for Rust

Web application for the Mina blockchain

A library for building fast, reliable and evolvable network services.

The financial transactions database designed for mission critical safety and performance.

Web application for the Mina blockchain

This repository will show the installations required for the testworld-2 performance tests of the Mina project.

The Mina Indexer is a re-designed version of the software collectively called the "Mina archive node."

The Mina Indexer is a re-designed version of the software collectively called the "Mina archive node" .

rust wrapper for rocksdb

Secondary indices for RocksDB in Rust.

Mina On-Chain Voting

A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.

TypeScript framework for zk-SNARKs and zkApps

Utilities for Mina Protocol

This is my emacs, there are many like it, but this one is mine...

A Clojure wrapper for Apache Lucene.

General-purpose editor/IDE with high expansibility in Common Lisp

Ultra-fast matching engine written in Java based on LMAX Disruptor, Eclipse Collections, Real Logic Agrona, OpenHFT, LZ4 Java, and Adaptive Radix Trees.

A Provider for use with jnacl