Giter Site home page Giter Site logo

elsie's Introduction

About me ๐Ÿงšโ€โ™€๏ธ

  • I am a developer and research engineer at ACS Research Group and IT4Innovations.
  • I am interested in AI Safety, HPC, and formal verification.
  • I have PhD in Computer Science.
  • I work mostly in Rust and Python; sometimes in TypeScript. In past C, C++, Haskell.
  • I love digital painting and playing the cello.

Selected projects where I am main author/co-author

  • HyperQueue - user-friendly and scalable job scheduler for supercomputers
  • Nelsie - slide making software
  • Rain - framework for large distributed pipelines
  • Interlab - toolkit for multi-agent interactions
  • RSDS - Dask server reimplemented in Rust
  • Nedoc - non-evaluating documentation generator for Python
  • Haydi - Python framework for generating discrete structures)
  • Aislinn - dynamic verifier for MPI programs
  • Estee - simulator for task-based workflow schedulers
  • ORCO - Python package for defining, executing, and persisting computations
  • Replay-cache - replay cache for LangChain
  • RMahjong - Riichi Mahjong
  • LabLab - A simple image anotation tool

elsie's People

Contributors

dependabot[bot] avatar geordi avatar kobzol avatar msurkovsky avatar noksel avatar spirali avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar

elsie's Issues

.text_box() & related stuff

  • implement .text_box("style_name") and .text_box_all("style_name") to get box/boxes around part(s) of text
  • implement ~#xxx{...} where #xxx is a fake style that does not modify text properties (and no style name lookup is performed) and it exists solely for .text_box feature
  • Implement ~{...} into .code()

Leading newlines are stripped from code segments

From my testing, code behaves differently from text in that it strips leading newlines. Is there a way to opt out of that behavior?

Also, it seems that trailing newlines are also stripped from both.

TODO

  • values "next", "next+" for step argument. ("next" is replaced by smallest non-used step in the slide)
  • recompute missing height/width for image
  • render(drop_redundant_slides=True) (if two completely identical consecutive slides are generated, then only one is left)
  • bitmap pictures directly usable in .image() method
  • "return self" in box method where it makes sense (.text, .code, .image)

Strongly typed styles

Style object:

class Style:
    def __init__(attrs):
          self.attrs = attrs # can be replaced by self.bold, self.color to be fully typed

   def update(self, **kwargs):
        attrs = dict(self.attrs)
        attrs.update(kwargs)
        return Style(attrs)

Creation of style:
style = Style(bold=True)

Change style:
new_style = style.update(size=32)

Default styles + update:

code = slide.style.code()
slide.style.update(code, code.update(bold=True))

Using style:

style = slide.style.default().update(bold=True)
box.text("hello", style=style)

Usage in text:

box.text("hello ~emph{world} ~mystyle{!}", style=style1,
inline_styles=dict(emph=slide.styles.emph(), mystyle=mystyle))

Allow setting fragments for styles

It would be nice to have the ability to "scope" styles to specific fragments, or change their properties for a given set of fragments.

Transform

Allow using arbitrary transform for images (maybe even for text and boxes).

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.