Giter VIP home page Giter VIP logo

laterm's Introduction

LaTeRm

Terminal capable of rendering latex expressions within itself

Alt Text

Powerful enough to handle vim

Alt Text

Note

We've essentially reserved special code for latex expressions: \u001b[Y - when the terminal sees it, it parses incoming characters as latex expression up to the point when we get the same code again.

It was actually a bit tricky since normal terminals assume that each line has the same height but we cannot make that assumption with latex.

As this is just an educational project there are still some bugs and things left undone:

  • handling resizing and signals
  • giving possibility to change the font and color palette (although we support 24bit colors - which used to be pretty rare among terminals :))
  • and handling the rest of console controll codes - right now we ignore things that we don't handle but for some programs this may lead to corrupted view (messed up foreground colors etc..)

It's remarkable that with less than 2k lines of scala code it's possible to create program essential (with few restictions though) for every linux user.

laterm's People

Contributors

pan-maciek avatar petroniuss avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.