Coder Social home page Coder Social logo

satysfi-base's Introduction

satysfi-base

build status

TL;DR

let get-image ratio path =
  path |> String.append `images/`
       |> Image.of-jpeg
       |> Inline.of-image (13.5cm |> Length.scale ratio)
in

ctx |> Inline.read {
  The quick brown fox jumps over the lazy dog.
  \eval(Inline.mandatory-break);
  \eval-const(`fox.jpg` |> get-image 0.45);
}

What is satysfi-base

This repository contains a collection of utility functions and modules for SATySFi. Because the library bundled with the default installation configuration of SATySFi is currently not rich enough, this project aims to provide a complementary library sufficient for most situations in typesetting.

Our repository contains:

  • basic types and utilities (e.g. String, Char, etc)
  • data structures (e.g. Array, Map, etc)
  • program controls (e.g. Ref, Lazy, etc)
  • text processing (e.g. RegExp, Lexer, Parser, etc)
  • extra typesetting functions (e.g. Inline, Pager, etc)

We also provide some specific packages for typesetting:

  • derive: display proof trees
  • code2: display program sources with syntax highlight

Installation

Easy installation using satyrographos:

$ opam install satysfi-base

Contribution

Any pull requests and/or issues are welcome. For the moment, we also give access rights to the repository to everyone who is willing to contribute us. You can freely make changes, create branches, and push them. If you are intersted in development of this project, please contact us.

License

All files in this repository are licensed under MIT.

satysfi-base's People

Contributors

dependabot-preview[bot] avatar maswag avatar na4zagin3 avatar nyuichi avatar puripuri2100 avatar takagiy avatar uemurax avatar y-yu avatar zeptometer 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.