Explore projects

L

TeXLive / luatex
GNU General Public License v2.0 or later

0

Updated Dec 21, 2024

0 0 0 0

Updated Dec 21, 2024
H

Burkhart Wolff / HOL-CSP2.0

This is the development trunc of the HOL-CSP2.0 project.

1

Updated Dec 20, 2024

1 0 0 0

Updated Dec 20, 2024
R

PTAL / Registry

2

Updated Dec 19, 2024

2 0 1

Updated Dec 19, 2024
V

PTAL / Synthesis / Vowelie.jl

0

Updated Dec 19, 2024

0 0 0 0

Updated Dec 19, 2024
T

PTAL / TestCI

0

Updated Dec 17, 2024

0 0 0 0

Updated Dec 17, 2024
PTAL / Automata / Semirings.jl

1

Updated Dec 17, 2024

1 0 0 0

Updated Dec 17, 2024
A

PTAL / Automata / ASparseArrays.jl

1

Updated Dec 13, 2024

1 0 0 0

Updated Dec 13, 2024
PTAL / Automata / TensorAutomata.jl

1

Updated Dec 13, 2024

1 0 0 0

Updated Dec 13, 2024
W

galac / website

The team website

0

Updated Dec 09, 2024

0 1 0 0

Updated Dec 09, 2024
H

Mathilde Aguiar / hands-on_jdne_2024

0

Updated Dec 06, 2024

0 0 0 0

Updated Dec 06, 2024
I

Burkhart Wolff / Isabelle_C
Other

Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication

lri

1

Updated Dec 01, 2024

1

Updated Dec 01, 2024
S

Lucas Ondel Yang / SpeechLanguageProcessing2024

0

Updated Nov 29, 2024

0 0 0 0

Updated Nov 29, 2024
P

PTAL / Phonetics / Phones.jl

0

Updated Nov 28, 2024

0 0 0 0

Updated Nov 28, 2024
C

Il mio corso / ComputerLab

0

Updated Nov 26, 2024

0 0 0 0

Updated Nov 26, 2024
S

PTAL / Datasets / SpeechDatasets.jl

3

Updated Nov 22, 2024

3 1 1 0

Updated Nov 22, 2024
S

PTAL / AcousticProcessing / SpeechFeatures.jl

3

Updated Nov 20, 2024

3 0 0 0

Updated Nov 20, 2024
A

PTAL / AcousticProcessing / AudioSources.jl

3

Updated Nov 18, 2024

3 0 0 0

Updated Nov 18, 2024
D

louis esteve / DELTA
BSD 2-Clause "Simplified" License

0

Updated Nov 13, 2024

0 0 0 0

Updated Nov 13, 2024
C

ecole-automne / Corpus Annotation

0

Updated Nov 04, 2024

0 0 0 0

Updated Nov 04, 2024
F

ecole-automne / Fine-tuning

0

Updated Oct 31, 2024

0 0 0 0

Updated Oct 31, 2024