Eduardo Ochs (@edrx)
github

edrx

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    91
  • Global Rank 221,150 (Top 8 %)
  • Followers 18
  • Following 4
  • Registered over 11 years ago
  • Most used languages
    Lua
         62.5 %
    Emacs Lisp
         25.0 %
    Lean     12.5 %

Top repositories

1

eev

a tool for automating almost everything (with Emacs)
Emacs Lisp
71
star
2

emlua

Emlua: run Lua in Emacs as a module
Lua
9
star
3

dednat6

Dednat6: An extensible (semi-)preprocessor for LuaLaTeX that understands diagrams in ASCII art
Lua
4
star
4

edrxrepl

A simple REPL for Lua
Lua
3
star
5

shelisp

A version of Michael Mauger's shelisp.el with some experimental changes.
Emacs Lisp
1
star
6

luatree

Draw Maxima objects as trees (using Lua)
Lua
1
star
7

emacs-lua

Run a Lua interpreter inside Emacs.
Lua
1
star
8

LuaTreeLean

A Lean library that calls luatree.lua.
Lean
1
star