edrx/LuaTreeLean edrx/LuaTreeLean

  • Stars
    star
    1
  • Language Lean
  • Created 4 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
edrx/LuaTreeLean
github

edrx

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Lean library that calls luatree.lua.

More 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