Lecture Live Subtitles System (L2S2)
☆20Aug 9, 2018Updated 7 years ago
Alternatives and similar repositories for L2S2
Users that are interested in L2S2 are comparing it to the libraries listed below
Sorting:
- celestial automaton☆10Mar 21, 2018Updated 7 years ago
- Django Code for the Webpage☆10Jan 26, 2025Updated last year
- Get transport information from opendata.rmv.de☆12Aug 1, 2024Updated last year
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- maxscript fun☆10Nov 22, 2019Updated 6 years ago
- An open-source, automated, lecture recording system that tracks the presenter in 4K video streams☆12Sep 24, 2018Updated 7 years ago
- metadata indexing and searching of video containers☆17Dec 28, 2016Updated 9 years ago
- A dotfilemanager that does some incredible stitching☆11Jul 28, 2022Updated 3 years ago
- ☆42Aug 22, 2018Updated 7 years ago
- ☆14Oct 25, 2024Updated last year
- In the AWS console's top right nav bar, where the AZ name appears, the text will be uniquely colored (based on the flag of that location)…☆12Sep 1, 2020Updated 5 years ago
- ☆10Jan 2, 2016Updated 10 years ago
- A Python-based web service to print labels on Brother QL label printers. Based on brother_ql: https://github.com/pklaus/brother_ql☆10Sep 16, 2022Updated 3 years ago
- Automatically generates Hydra jobset reports using `nix-review-tools`, updated hourly.☆16Updated this week
- ☆19Updated this week
- Old READONLY Castle Dynamic Proxy repository. For new version of DynamicProxy see Castle Core repository☆18May 20, 2010Updated 15 years ago
- Linter for SaltStack States☆11Aug 1, 2018Updated 7 years ago
- find git commits that matter☆52Jul 15, 2023Updated 2 years ago
- An application suite to receive TLSRPT datagrams and to generate and deliver TLSRPT reports☆14Nov 11, 2025Updated 4 months ago
- Several helper scripts for Opencast☆11Jan 27, 2026Updated last month
- Spawn child processes in PureScript via the Node.js child_process API.☆13Mar 22, 2025Updated 11 months ago
- python scripts to run qemu and gluon based virtual mesh networks☆10Dec 18, 2023Updated 2 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Test xterm colors based on the work by [Wolfgang Frisch](http://frexx.de/xterm-256-notes/)☆16May 14, 2012Updated 13 years ago
- Attribute-based access control for Django☆10May 31, 2018Updated 7 years ago
- Best Current Practices for Route- and Traffic-Filtering☆43Jan 19, 2024Updated 2 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Jun 30, 2025Updated 8 months ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Feb 17, 2018Updated 8 years ago
- Accessibility-ready business WordPress theme.☆15Sep 3, 2025Updated 6 months ago
- ☆10Sep 2, 2023Updated 2 years ago
- Import digital REWE receipts into Grocy!☆16May 22, 2023Updated 2 years ago
- YAML 1.2 Core Schema Support for PyYAML☆18Oct 11, 2024Updated last year
- rtorrent + flood + wireguard + docker☆14May 25, 2022Updated 3 years ago
- A simple and slim proxy to forward ports from and into linux network namespaces☆17Mar 3, 2026Updated last week
- Documentation, schema, and container for our PostgreSQL user database.☆14Jan 2, 2023Updated 3 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- Experiment-management framework in Haskell☆19Aug 12, 2015Updated 10 years ago
- Advent of Code 2019 solutions in 25 different languages!☆10Aug 26, 2020Updated 5 years ago