Skip to content
View jefftrull's full-sized avatar

Sponsoring

@tarsius
@bzg
@bbatsov
@ThePhD
@positron-solutions

Highlights

  • Pro

Block or report jefftrull

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

Interactively align by regular expression in Emacs

Emacs Lisp 138 5 Updated Nov 12, 2025

Another org-mode exporter via pandoc.

Emacs Lisp 58 16 Updated Jan 13, 2026

Fitbit Java Client API and Examples

Java 2 1 Updated Jan 11, 2018

Automatically exported from code.google.com/p/android-mileage

Java 12 23 Updated Mar 3, 2015

LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries, published by Packt

C++ 190 33 Updated Jan 24, 2023

The Authoritative fork of Org mode's ODT exporter

Emacs Lisp 59 11 Updated Mar 23, 2026

A markup-based typesetting system that is powerful and easy to learn.

Rust 54,351 1,606 Updated Jun 16, 2026

A tracker for the Org LaTeX Preview effort on https://git.tecosaur.net/tec/org-mode

11 Updated Jan 4, 2024

Present anything Emacs can do with programmable, extensible, configurable slides & presentation steps made from org mode headings

Emacs Lisp 287 4 Updated Jan 2, 2025
C++ 14 1 Updated May 21, 2024

An Emacs major mode to edit and run SMTLIB v2 files

Emacs Lisp 10 12 Updated Nov 14, 2015

An interactive development environment for SMT-LIB files and Z3

Emacs Lisp 24 7 Updated Aug 16, 2022
Racket 91 8 Updated Jun 30, 2022

A native, user-mode, multi-process, graphical debugger.

C 7,083 323 Updated Jun 17, 2026

Universal Memory Interface (UMI)

Verilog 160 17 Updated May 13, 2026

Major mode for editing and executing AppleScript code

Emacs Lisp 13 11 Updated Mar 6, 2021

A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren

C 58 7 Updated Jun 1, 2022

A lightweight, responsive web e-book template

HTML 1,488 72 Updated Feb 27, 2023
C++ 86 4 Updated Mar 26, 2026

Vulkan, OptiX and CUDA Interoperation Modular Rendering Library and Framework for PC/Linux/Android

C++ 699 71 Updated Jun 16, 2026

Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS

C 3,296 1,079 Updated May 18, 2026

TOML deck generator with custom templates and schema validation

CSS 39 1 Updated May 18, 2026

fpga.el - FPGA & ASIC Utils for Emacs

Emacs Lisp 22 2 Updated Apr 7, 2026

An Interactive interface for "GitHub CLI" client inside GNU Emacs using Consult

Emacs Lisp 207 21 Updated Oct 3, 2025

Assembly super-optimization via constraint solving

Assembly 326 41 Updated Jun 16, 2026

Userspace eBPF runtime for Observability, Network, GPU & General Extensions Framework

C++ 1,498 177 Updated Jun 17, 2026

C++ library for composing modular firmware at compile-time.

C++ 643 61 Updated Jun 16, 2026

`std::execution`, the standard C++ framework for asynchronous and parallel programming.

C++ 2,365 249 Updated Jun 12, 2026

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Rust 1,383 49 Updated Jun 16, 2026
Next