Jeff Trull's starred repositories

LLVM-Techniques-Tips-and-Best-Practices-Clang-and-Middle-End-Libraries

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

Language:C++License:MITStargazers:173Issues:0Issues:0

org-mode-ox-odt

The Authoritative fork of Org mode's ODT exporter

Language:Emacs LispLicense:GPL-3.0Stargazers:45Issues:0Issues:0

typst

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

Language:RustLicense:Apache-2.0Stargazers:32134Issues:0Issues:0

org-latex-preview-todos

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

Stargazers:4Issues:0Issues:0

dslide

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

Language:Emacs LispLicense:GPL-3.0Stargazers:87Issues:0Issues:0
Language:C++Stargazers:13Issues:0Issues:0

smtlib-mode

An Emacs major mode to edit and run SMTLIB v2 files

Language:Emacs LispLicense:GPL-3.0Stargazers:9Issues:0Issues:0

z3-mode

An interactive development environment for SMT-LIB files and Z3

Language:Emacs LispStargazers:22Issues:0Issues:0
Language:RacketLicense:NOASSERTIONStargazers:82Issues:0Issues:0

raddebugger

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

Language:CLicense:MITStargazers:3204Issues:0Issues:0

umi

Universal Memory Interface (UMI)

Language:VerilogLicense:Apache-2.0Stargazers:127Issues:0Issues:0

apples-mode

Major mode for editing and executing AppleScript code

Language:Emacs LispStargazers:15Issues:0Issues:0

Aha

Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren

Language:CStargazers:57Issues:0Issues:0

perfect-edition

A lightweight, responsive web e-book template

Language:HTMLLicense:MITStargazers:1422Issues:0Issues:0
Language:C++License:MITStargazers:54Issues:0Issues:0

Nabla

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

Language:C++License:Apache-2.0Stargazers:447Issues:0Issues:0

InfiniTime

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

Language:CLicense:GPL-3.0Stargazers:2673Issues:0Issues:0

fable

TOML deck generator with custom templates and schema validation

Language:CSSLicense:MPL-2.0Stargazers:35Issues:0Issues:0

fpga

fpga.el - FPGA & ASIC Utils for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:20Issues:0Issues:0

consult-gh

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

Language:Emacs LispLicense:GPL-3.0Stargazers:85Issues:0Issues:0

slothy

Assembly super-optimization via constraint solving

Language:AssemblyLicense:NOASSERTIONStargazers:147Issues:0Issues:0

bpftime

Userspace eBPF runtime for fast Uprobe & Syscall hook & Extensions with LLVM JIT

Language:C++License:MITStargazers:722Issues:0Issues:0

compile-time-init-build

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

Language:C++License:BSL-1.0Stargazers:433Issues:0Issues:0

stdexec

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

Language:C++License:Apache-2.0Stargazers:1465Issues:0Issues:0

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

Language:RustLicense:NOASSERTIONStargazers:1163Issues:0Issues:0

FTXUI

:computer: C++ Functional Terminal User Interface. :heart:

Language:C++License:MITStargazers:6623Issues:0Issues:0

hexabyte

A modern, modular, and robust TUI hex editor.

Language:PythonLicense:GPL-3.0Stargazers:247Issues:0Issues:0

org-babel-examples

Examples using emacs org mode babel inline source code with different backend languages

Language:TeXStargazers:569Issues:0Issues:0
Language:TeXStargazers:1Issues:0Issues:0

scare

A multi-arch assembly REPL and emulator for your command line.

Language:PythonLicense:GPL-2.0Stargazers:301Issues:0Issues:0