Blaisorblade/subtitle-fixer Blaisorblade/subtitle-fixer

  • Stars
    star
    1
  • Language
    Scala
  • Created over 12 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Blaisorblade/subtitle-fixer
github

Blaisorblade

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Adjust SRT subtitles for offset and framerate

More Repositories

1

dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
HTML
31
star
2

abt

Implementing Abstract Binding Trees (in Scala, ...)
Scala
19
star
3

Agda-playground

My Agda experiments
Agda
11
star
4

hoas-with-names

Represent functions using higher-order abstract syntax (HOAS) *using macros to save names*
Scala
8
star
5

evalFromToAbsMachines

A Functional Correspondence between Evaluators and Abstract Machines
Haskell
8
star
6

scala19_gadt_code

Support code for our Scala'19 paper on GADTs
Scala
3
star
7

git-filter-branch-msgs

Update mentions of hashes in commits messages — for git-filter-branch. In Scala.
Shell
3
star
8

Bibs

My bibliography files - integrated in other projects using git-subtree
TeX
2
star
9

Haskell-Adaptive

Haskell library for incremental computing. Fork of http://hackage.haskell.org/package/Adaptive-0.22
Haskell
2
star
10

dotty-map-fusion-staging-experiment

Answering https://users.scala-lang.org/t/implementing-map-fusion-with-dotty-macros/5791/4
Scala
2
star
11

Software-Foundations

Pierce et al.'s Software Foundations book with my solutions
Coq
2
star
12

Coq-playground

Random Coq experiments
Coq
1
star
13

general-purpose-hash-functions

Mirror of C implementation from http://www.partow.net/programming/hashfunctions/
C
1
star
14

phd-thesis

TeX
1
star
15

agda-vm-sample

Shell
1
star
16

ndot-iris

Abandoned, alternative encodings of https://github.com/Blaisorblade/dot-iris
Coq
1
star
17

secd-lambda-calculus

SECD for lambda calculus. Warning: Force-push on main allowed!
Haskell
1
star
18

TypesafeSubst

Implement typesafe substitution in Scala
Scala
1
star
19

learning-syntactic

Reimplementing http://hackage.haskell.org/package/syntactic so that I can learn it. Not for use.
Haskell
1
star