ProofRenderer

Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.

Stars

4

Forks

0

Language

Java

Last Updated

Feb 07, 2022

Similar Repos
Repo Language Stars Description Updated At
Julia 216 lisp-like syntax in julia May 31, 2023
Python 2 simple lisp-like syntax for python Jan 05, 2018
Common Lisp 2 Simple, Scribble-Like Syntax for Common Lisp Jul 17, 2022
JavaScript 71 A Common Lisp syntax highlighter written in Javascript Apr 22, 2023
JavaScript 255 Transforms CPX (JSX like syntax) into asm-dom Virtual DOM Apr 03, 2023
C# 12 A prototype of XPath-like queries for C# syntax trees Jun 16, 2022
C++ 2 html2mediawiki transforms your html syntax to mediawiki syntax. Oct 10, 2013
Common Lisp 74 Embeddable HTML templating engine for Common Lisp with JSX-like syntax Sep 10, 2022
Yacc 4 An interpreter for a language called g++ with lisp like syntax. Mar 15, 2022
Common Lisp 6 Vantage point trees for Common Lisp Jan 26, 2023
Emacs Lisp 10 Write LaTeX in Emacs Lisp Feb 24, 2023
Rust 3 Transforms React.createElement calls to JSX syntax. Jun 12, 2022
C 239 Tiny Scheme-like Lisp interpreter written in a weekend Aug 08, 2022
Go 2 Yet another Lisp-like interpreter, written in Golang 😃 Oct 14, 2021
Ruby 2 Experiments with Ruby Syntax Trees Oct 22, 2019
Swift 3 Model for building Syntax Trees May 07, 2022
TypeScript 17 Syntax highlighting from Lezer trees May 02, 2023
Common Lisp 44 Common Lisp surface syntax niceties Jul 25, 2022
JavaScript 5 Execute lisp-like s-expressions written in JSON (JavaScript Edition) Jan 07, 2022
Common Lisp 17 Lisp C Compiler, Lisp-like syntax for writing C code in addition of some forms and … Apr 15, 2023
Python 7 Proof-of-concept Lisp/Scheme interpreter Jun 19, 2022
JavaScript 52 :leftwards_arrow_with_hook: Transforms React.createElement calls to JSX syntax Nov 27, 2022
Java 5 Ninal which stands for "Ninal is not a Lisp" is a small demo language (lisp … Apr 03, 2018
HTML 3 Lisp-Like Language Feb 07, 2023
TypeScript 220 render abstract syntax trees with react Aug 11, 2022
Go 6 Generate Abstract Syntax Trees with Go Nov 26, 2020
Java 15 Concrete/Abstract Syntax Trees for Clojure Mar 28, 2022
Python 45 "git diff" over abstract syntax trees Apr 02, 2023
JavaScript 2 Proof of concept latex symbol classifier Jul 15, 2019
Go 32 Erlang-like supervisor trees Apr 12, 2023
Common Lisp 8 Supervisor trees (and some more) for Common Lisp Jul 17, 2022
Julia 19 Fourier transforms written in Julia May 29, 2022
None 2 Customize syntax of lisp with LangTrans May 01, 2023
Emacs Lisp 227 ✨ Future-proof your Emacs Lisp customizations! May 31, 2022
Python 21 An application that transforms LaTeX code to plain text Apr 12, 2023
JavaScript 95 Transforms a JSON stream into scss syntax Sass. Aug 04, 2022
JavaScript 7 Transforms a JSON stream into scss syntax Sass. Mar 04, 2023
JavaScript 2 Transforms a JSON stream into scss syntax Sass. Mar 07, 2023
Haskell 4 Transforms persist's quasi-quoted syntax into ER format Jan 13, 2023
Common Lisp 94 A portable Common Lisp reader that is highly customizable, can recover from errors and can … Apr 25, 2023
TypeScript 10 Syntax trees for VSCode using tree-sitter Mar 10, 2022
Go 471 Search for Go code using syntax trees Jul 27, 2022
Go 2 Search for Go code using syntax trees Dec 08, 2019
C# 3 Interact with Compiled Delegates' Syntax Trees Dynamically Feb 07, 2021
Scala 2 Yet Another Lisp Like Apr 15, 2023
Python 2 A Clojure-like Lisp. Sep 20, 2015
Scala 66 Embeddable Lisp-Like Scripting Nov 22, 2020
CoffeeScript 79 Syntax highlighting for LaTeX for Atom. Aug 29, 2022
TeX 2 LaTeX support for Q# syntax highlighting Jan 25, 2022
TypeScript 2 A toy lisp-like language written in JS, evaluated by JS runtime. Nov 03, 2022