Penguin-Subtitle-Player
thorin2
Our great sponsors
| Penguin-Subtitle-Player | thorin2 | |
|---|---|---|
| 2 | 2 | |
| 286 | 43 | |
| - | - | |
| 0.0 | 9.7 | |
| over 2 years ago | 7 days ago | |
| C++ | C++ | |
| GNU General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Penguin-Subtitle-Player
-
Czech TV shows and Movies with subtitles.
Use an overlay subtitle player like Penguin Subtitle Player and overlay the subtitles, or
-
Does Criterion Channel Allow Subtitles in Original Language
If you are using a computer, you can overlay external subtitles with something like this (https://github.com/carsonip/Penguin-Subtitle-Player) and manually sync with the movie.
thorin2
- Can one use lambda calculus as an IR?
-
Is continuation passing style conversion still used as an intermediate language?
There are intermediate representations in actively maintained compilers that rely on CPS at least partly. Examples are SML/NJ (as described here) and Flambda 2 for OCaml. Moreover, there are quite a few recently proposed IRs that are based on CPS. This not only includes IRs for functional languages, like those proposed in Farvadin and Reppy 2020 or Quiring et al. 2021 for example, but also for more imperative languages, see, e.g., Jung et al. 2018 or Leißa et al. 2015 (also see Thorin 2).
What are some alternatives?
ssabook - Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).
JuCC - JuCC - Jadavpur University Compiler Compiler
subtitleeditor - Subtitle Editor is a GTK+3 tool to create or edit subtitles for GNU/Linux/*BSD.
vast - VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
srs - SRS is a simple, high-efficiency, real-time video server supporting RTMP, WebRTC, HLS, HTTP-FLV, SRT, MPEG-DASH, and GB28181.
HVM - A massively parallel, optimal functional runtime in Rust
honey-potion - Writing eBPF programs with Elixir!
Kind - A next-gen functional language
mewa - Compiler-compiler for writing compiler frontends with Lua